( en | de | ru )

 

Disambiguierung von "Madelaine, Eric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using SMT Engine to Generate Symbolic Automata.

, , , und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2018)

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.

Madelaine Hildebrand

Madelaine Böhme

Madelaine Matjak

Madelaine Miethke

Madelaine Taoubi

 

Weitere Publikationen von Autoren mit dem selben Namen

A Denotational Semantics for Parameterised Networks of Synchronised Automata., und . UTP, Volume 10134 von Lecture Notes in Computer Science, Seite 93-113. Springer, (2016)Verification of Concurrent Design Patterns with Data., , und . COORDINATION, Volume 11533 von Lecture Notes in Computer Science, Seite 161-181. Springer, (2019)Finiteness Conditions and Structural Construction of Automata for All Process Algebras., und . CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 275-292. DIMACS/AMS, (1990)Symbolic bisimulation for open and parameterized systems., und . PEPM@POPL, Seite 14-26. ACM, (2020)Verification of Distributed Hierarchical Components., , und . FACS, Volume 160 von Electronic Notes in Theoretical Computer Science, Seite 41-55. Elsevier, (2005)Refinements for Open Automata., , , und . SEFM, Volume 14323 von Lecture Notes in Computer Science, Seite 11-29. Springer, (2023)Using SMT Engine to Generate Symbolic Automata., , , und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2018)Un système d'aide à la preuve de compilateurs.. Symposium on Programming, Volume 167 von Lecture Notes in Computer Science, Seite 191-205. Springer, (1984)Tool Demonstration: Tools for Process Algebras., und . FORTE, Volume C-2 von IFIP Transactions, Seite 463-466. North-Holland, (1991)Specification and Verification of a Sliding Window Protocol in LOTOS., und . FORTE, Volume C-2 von IFIP Transactions, Seite 495-510. North-Holland, (1991)