( en | de | ru )

 

Disambiguierung von "Reniers, Michel A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SOS formats and meta-theory: 20 years after.

, , und . Theor. Comput. Sci., 373 (3): 238-272 (2007)

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.

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Maximal Synthesis for Hennessy-Milner Logic., , und . 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., , , , und . CyPhy, Volume 9361 von Lecture Notes in Computer Science, Seite 40-55. Springer, (2015)Formal Semantics of Hybrid Chi., , , , und . FORMATS, Volume 2791 von Lecture Notes in Computer Science, Seite 151-165. Springer, (2003)Analysis of an Industrial System., , und . Formal Methods Syst. Des., 22 (3): 249-282 (2003)PARS: A Process Algebra with Resources and Schedulers., , , und . FORMATS, Volume 2791 von Lecture Notes in Computer Science, Seite 134-150. Springer, (2003)Robustness of Equations Under Operational Extensions, , und . EXPRESS, Volume 41 von EPTCS, Seite 106-120. (2010)Orthogonal Extensions in Structural Operational Semantics., und . ICALP, Volume 3580 von Lecture Notes in Computer Science, Seite 1214-1225. Springer, (2005)Integrated simulation of CIF3 and simulink models., und . ITSLE@SPLASH, Seite 33-37. ACM, (2016)Maximally permissive controlled system synthesis for non-determinism and modal logic., , und . Discrete Event Dynamic Systems, 27 (1): 109-142 (2017)Results on Embeddings Between State-Based and Event-Based Systems., , und . Comput. J., 57 (1): 73-92 (2014)