( en | de | ru )

 

Disambiguation of "Schwarick, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Snoopy: a tool to design and animate/simulate graph-based formalisms.

, , and . SimuTools, page 15. ICST/ACM, (2008)

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.

Martin Schwarick

Jürgen Schwarick

Thomas Schwarick

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)

Martin Brückner

Vergleichende Untersuchungen zur Inzidenz apoptotischer und proliferativer Veränderungen kultivierter, humaner Knochenzellen von Ober- und Unterkiefer auf maschinenbearbeitetem, reinem Titan über 25 Tage. Uni Leipzig, (2009)
 

Other publications of authors with the same name

Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams., , , , , and . Petri Nets, volume 12152 of Lecture Notes in Computer Science, page 324-344. Springer, (2020)CSL Model Checking of Biochemical Networks with Interval Decision Diagrams., and . CMSB, volume 5688 of Lecture Notes in Computer Science, page 296-312. Springer, (2009)Symbolic Model Checking of Stochastic Reward Nets.. CS&P, volume 928 of CEUR Workshop Proceedings, page 343-357. CEUR-WS.org, (2012)A comparative study of stochastic analysis techniques., , , and . CMSB, page 96-106. ACM, (2010)Snoopy: a tool to design and animate/simulate graph-based formalisms., , and . SimuTools, page 15. ICST/ACM, (2008)Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams.. AWPN, volume 380 of CEUR Workshop Proceedings, page 43-48. CEUR-WS.org, (2008)DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets., , and . Petri Nets, volume 5606 of Lecture Notes in Computer Science, page 323-332. Springer, (2009)MARCIE - Model Checking and Reachability Analysis Done Efficiently., , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 389-399. Springer, (2013)IDD-MC - A Model Checker for Bounded Stochastic Petri nets.. AWPN, volume 643 of CEUR Workshop Proceedings, page 80-87. CEUR-WS.org, (2010)MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly., , and . QEST, page 91-100. IEEE Computer Society, (2011)