( en | de | ru )

 

Disambiguation of "Reniers, Michel A."

Author of the publication

copydeleteadd this publication to your clipboard
Prototyping SOS Meta-theory in Maude

, and . Electronic Notes in Theoretical Computer Science, 156 (1): 135--150 (May 2006)
DOI: 10.1016/j.entcs.2005.09.030

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.

Beat A Michel

Annie Reniers-Servranckx

Michel Georg Michel

Michel Ghazal

Prognostische Relevanz der Schildwächterlymphknotenbiopsie beim malignen Melanom. MedH Hannover, (2009)

Christine Michel

Malaise dans l'érotisme: Darstellungen sexueller Praktiken und Formen in der französischsprachigen Literatur der Gegenwart. Uni Marburg, (2008)
 

Other publications of authors with the same name

Maximal Synthesis for Hennessy-Milner Logic., , and . ACM Trans. Embed. Comput. Syst., 14 (1): 10:1-10:21 (2015)Core Research and Innovation Areas in Cyber-Physical Systems of Systems - Initial Findings of the CPSoS Project., , , , and . CyPhy, volume 9361 of Lecture Notes in Computer Science, page 40-55. Springer, (2015)Formal Semantics of Hybrid Chi., , , , and . FORMATS, volume 2791 of Lecture Notes in Computer Science, page 151-165. Springer, (2003)Analysis of an Industrial System., , and . Formal Methods Syst. Des., 22 (3): 249-282 (2003)PARS: A Process Algebra with Resources and Schedulers., , , and . FORMATS, volume 2791 of Lecture Notes in Computer Science, page 134-150. Springer, (2003)Robustness of Equations Under Operational Extensions, , and . EXPRESS, volume 41 of EPTCS, page 106-120. (2010)Orthogonal Extensions in Structural Operational Semantics., and . ICALP, volume 3580 of Lecture Notes in Computer Science, page 1214-1225. Springer, (2005)Integrated simulation of CIF3 and simulink models., and . ITSLE@SPLASH, page 33-37. ACM, (2016)Maximally permissive controlled system synthesis for non-determinism and modal logic., , and . Discrete Event Dynamic Systems, 27 (1): 109-142 (2017)Results on Embeddings Between State-Based and Event-Based Systems., , and . Comput. J., 57 (1): 73-92 (2014)