( en | de | ru )

 

Disambiguation of "Choppy, Christine"

Author of the publication

copydeleteadd this publication to your clipboard
Coloured Petri net refinement specification and correctness proof with Coq.

, , and . Innov. Syst. Softw. Eng., 6 (3): 195-202 (2010)

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 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 Modelling Approach with Coloured Petri Nets., , and . Ada-Europe, volume 5026 of Lecture Notes in Computer Science, page 73-86. Springer, (2008)A Global Semantics for Views., , and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 165-180. Springer, (2000)Modelling chronicle recognition for distributed simulation processing with coloured Petri nets., , and . SimuTools, page 42. ICST/ACM, (2009)PETRIREVE: Proving Petri Net Properties with Rewriting Systems., and . RTA, volume 202 of Lecture Notes in Computer Science, page 271-286. Springer, (1985)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)Coloured Petri net refinement specification and correctness proof with Coq., , and . Innov. Syst. Softw. Eng., 6 (3): 195-202 (2010)