( en | de | ru )

 

Disambiguation of "Madelaine, Eric"

Author of the publication

copydeleteadd this publication to your clipboard
Parameterized Specification and Verification of the Chilean Electronic Invoices System.

, , and . SCCC, page 14-25. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Madelaine Hildebrand

Madelaine Miethke

Madelaine Matjak

Madelaine Böhme

Madelaine Taoubi

 

Other publications of authors with the same name

Specification, Model Generation, and Verification of Distributed Applications.. (2011)Compositional equivalences based on Open pNets., , and . CoRR, (2020)A Denotational Semantics for Parameterised Networks of Synchronised Automata., and . UTP, volume 10134 of Lecture Notes in Computer Science, page 93-113. Springer, (2016)Verification of Concurrent Design Patterns with Data., , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 161-181. Springer, (2019)Selected and extended papers from FACS 2016., and . Sci. Comput. Program., (2019)Finiteness Conditions and Structural Construction of Automata for All Process Algebras., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 275-292. DIMACS/AMS, (1990)Symbolic bisimulation for open and parameterized systems., and . PEPM@POPL, page 14-26. ACM, (2020)Compositional equivalences based on open pNets., , and . J. Log. Algebraic Methods Program., (February 2023)Verification of Distributed Hierarchical Components., , and . FACS, volume 160 of Electronic Notes in Theoretical Computer Science, page 41-55. Elsevier, (2005)Preface., and . FACS, volume 215 of Electronic Notes in Theoretical Computer Science, page 1-3. Elsevier, (2007)