( en | de | ru )

 

Disambiguierung von "Hansen, Michael R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Adequate First Order Interval Logic.

, und . COMPOS, Volume 1536 von Lecture Notes in Computer Science, Seite 584-608. Springer, (1997)

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.

Michael Hansen

Michael Hansen

Michael Hansen

Michael Hansen

Michael Hansen

 

Weitere Publikationen von Autoren mit dem selben Namen

An Adequate First Order Interval Logic., und . COMPOS, Volume 1536 von Lecture Notes in Computer Science, Seite 584-608. Springer, (1997)An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic., und . J. Log. Algebraic Methods Program., 84 (1): 2-18 (2015)Duration Specifications for Shared Processors., , , und . FTRTFT, Volume 571 von Lecture Notes in Computer Science, Seite 21-32. Springer, (1992)EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks., , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 520-540. Springer, (2014)Semantics and Verification of a Language for Modelling Hardware Architectures., , und . Formal Methods and Hybrid Real-Time Systems, Volume 4700 von Lecture Notes in Computer Science, Seite 300-319. Springer, (2007)Eine sequelartige Sprachschnittstelle für das NF2-Modell., , und . Sprachen für Datenbanken, Volume 72 von Informatik-Fachberichte, Seite 134-147. Springer, (1983)On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic., und . TIME, Seite 115-122. IEEE, (2011)Generating web-based systems from specifications., , und . SAC, Seite 1647-1653. ACM, (2004)Semantics and Completeness of Duration Calculus., und . REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 209-225. Springer, (1991)Generation of ERP Systems from REA Specifications., , und . ICSOFT (ISDM/ABF), Seite 12-19. INSTICC Press, (2008)