Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 2.
2019
Saissi, Habib (2019)
On the Application of Formal Techniques for Dependable Concurrent Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
2015
Saissi, Habib ; Bokor, Peter ; Suri, Neeraj (2015)
PBMC: Symbolic Slicing for the Verification of Concurrent Programs.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum