TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Conference or Workshop Item

Saissi, Habib ; Bokor, Peter ; Suri, Neeraj (2015)
PBMC: Symbolic Slicing for the Verification of Concurrent Programs.
Conference or Workshop Item, Bibliographie

Ph.D. Thesis

Saissi, Habib (2019)
On the Application of Formal Techniques for Dependable Concurrent Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

This list was generated on Tue Jun 11 00:47:28 2024 CEST.