AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Steve Hostettler

Steve Hostettler

Université de Geneve - Geneva / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 6043426
Universität Genf
person_outline Steve Hostettler's MOST POPULAR ARTICLES
1-) High-level petri net model checking with alpina Fundamenta Informaticae 113 (3-4), 229-264, 2011
2-) Alpina: A symbolic model checker International Conference on Applications and Theory of Petri Nets, 287-296, 2010
3-) Sigma decision diagrams TERMGRAPH, 18-32, 2009
4-) Alpina: An algebraic petri net analyzer International Conference on Tools and Algorithms for the Construction and …, 2010
5-) High-level Petri net model checking: the symbolic wayS HostettlerUniversity of Geneva, Switzerland, 2011102011