Autor der Publikation

Memory-Efficient Algorithms for the Verification of Temporal Properties.

, , , und . Formal Methods in System Design, 1 (2/3): 275-288 (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Memory-Efficient Algorithms for the Verification of Temporal Properties., , , und . Formal Methods in System Design, 1 (2/3): 275-288 (1992)Black Box Checking., , und . FORTE, Volume 156 von IFIP Conference Proceedings, Seite 225-240. Kluwer, (1999)Module Checking Revisited., und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 36-47. Springer, (1997)Factored boolean functional synthesis., und . FMCAD, Seite 124-131. IEEE, (2017)The Complexity of Reasoning about Knowledge and Time: Extended Abstract, und . STOC, Seite 304-315. ACM, (1986)Parametric real-time reasoning., , und . STOC, Seite 592-601. ACM, (1993)What is a flagship publication?, und . Commun. ACM, 56 (8): 5 (2013)Divination by program committee.. Commun. ACM, 60 (9): 7 (2017)Science has only two legs.. Commun. ACM, 53 (9): 5 (2010)Is information technology destroying the middle class?. Commun. ACM, 58 (2): 5 (2015)