( en | de | ru )

 

Disambiguation of "Choppy, Christine"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling chronicle recognition for distributed simulation processing with coloured Petri nets.

, , and . SimuTools, page 42. ICST/ACM, (2009)

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.

Christine Eulert

Funktionelle Relevanz von Chemokinen im Metastasierungsprozess von Kopf-Hals-Tumoren. Uni Düsseldorf, (2009)

Christine Schnellhammer

Funktionelle Analyse des Matrixproteins des Tollwutvirus. Uni München, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Christine Gerngroß

Gedächtnisleistungen in Assoziation mit Polymorphismen des 5-HT2A-Rezeptorgens. Uni München, (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

ASSPEGIQUE: An Integrated Specification Environment., , and . RTA, volume 355 of Lecture Notes in Computer Science, page 547. Springer, (1989)A Modelling Approach with Coloured Petri Nets., , and . Ada-Europe, volume 5026 of Lecture Notes in Computer Science, page 73-86. Springer, (2008)A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation)., and . SAC, page 2451-2458. ACM, (2010)Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation., and . WADT, volume 7137 of Lecture Notes in Computer Science, page 76-97. Springer, (2010)A Global Semantics for Views., , and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 165-180. Springer, (2000)The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification., , , , , and . Petri Nets, volume 6128 of Lecture Notes in Computer Science, page 145-164. Springer, (2010)Coloured Petri Nets for Chronicle Recognition., , and . Ada-Europe, volume 5570 of Lecture Notes in Computer Science, page 266-281. Springer, (2009)Using CASL to Specify the Requirements and the Design: A Problem Specific Approach., and . WADT, volume 1827 of Lecture Notes in Computer Science, page 106-125. Springer, (1999)Coloured Petri net refinement specification and correctness proof with Coq., , and . Innov. Syst. Softw. Eng., 6 (3): 195-202 (2010)Modelling chronicle recognition for distributed simulation processing with coloured Petri nets., , and . SimuTools, page 42. ICST/ACM, (2009)