Author of the publication

Experience-Based Model Refinement.

, , and . SERENE, volume 6968 of Lecture Notes in Computer Science, page 40-47. Springer, (2011)

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.

 

Other publications of authors with the same name

A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis., , , , , and . Trans. Petri Nets Other Model. Concurr., (2012)Modelling of Genetic Regulatory Mechanisms with GReg, , , , , and . CoRR, (2011)High-Level Petri Net Model Checking with AlPiNA., , , , and . Fundam. Informaticae, 113 (3-4): 229-264 (2011)High-level Petri net model checking: the symbolic way.. University of Geneva, Switzerland, (2011)base-search.net (ftunivgeneve:oai:unige.ch:aou:unige:21844).AlPiNA: An Algebraic Petri Net Analyzer., , , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 349-352. Springer, (2010)Specification of Decision Diagram Operations., , , , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 437-451. CEUR-WS.org, (2010)AlPiNA: A Symbolic Model Checker., , , and . Petri Nets, volume 6128 of Lecture Notes in Computer Science, page 287-296. Springer, (2010)Experience-Based Model Refinement., , and . SERENE, volume 6968 of Lecture Notes in Computer Science, page 40-47. Springer, (2011)Improving the Significance of Benchmarks for Petri Nets Model Checkers., , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 475-489. CEUR-WS.org, (2010)