Autor der Publikation

ISL: An Interval Logic for the Specification of Real-time Programs.

, , und . FTRTFT, Volume 571 von Lecture Notes in Computer Science, Seite 1-20. Springer, (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

Semantics for Specifying Real-Time Systems., und . Specification and Verification of Concurrent Systems, Seite 272-275. Springer, (1988)ISL: An Interval Logic for the Specification of Real-time Programs., , und . FTRTFT, Volume 571 von Lecture Notes in Computer Science, Seite 1-20. Springer, (1992)Semancitcs of Real-time Distributed Programs., und . Concurrency, Volume 335 von Lecture Notes in Computer Science, Seite 292-306. Springer, (1988)What's 'Real' about Real-Time Systems?, und . RTSS, Seite 78-85. IEEE Computer Society, (1988)Functional Programming System Revisited., und . FSTTCS, Volume 181 von Lecture Notes in Computer Science, Seite 44-59. Springer, (1984)