Autor der Publikation

Compositional Abstractions for Search Factories.

, und . MOZ, Volume 3389 von Lecture Notes in Computer Science, Seite 211-223. Springer, (2004)

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

MLF: An extension of ML with first-class polymorphism and implicit instantiation. (MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite).. École Polytechnique, Palaiseau, France, (2004)Petri Net Reductions for Counting Markings., , und . SPIN, Volume 10869 von Lecture Notes in Computer Science, Seite 65-84. Springer, (2018)MCC'2017 - The Seventh Model Checking Contest., , , , , , , , , und 8 andere Autor(en). T. Petri Nets and Other Models of Concurrency, (2018)Compositional Abstractions for Search Factories., und . MOZ, Volume 3389 von Lecture Notes in Computer Science, Seite 211-223. Springer, (2004)MLF: raising ML to the power of system F., und . ICFP, Seite 27-38. ACM, (2003)Time-accurate Middleware for the Virtualization of Communication Protocols., , , und . CoRR, (2018)Real-Time Model Checking Support for AADL., , , , , , und . CoRR, (2015)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , und 9 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 50-68. Springer, (2019)Real-Time Specification Patterns and Tools., , und . FMICS, Volume 7437 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2012)A Verified Approach for Checking Real-Time Specification Patterns, , und . CoRR, (2013)