Statistics
Publications
1
Citations
33
H-Index
1
Active since
2011
Affiliations
University of Geneva(Current)
Steve Hostettler is an author at University of Geneva specializing in computer science, computing, and software modeling.
Publications per year
2011–2011
1
1
High-Level Petri Net Model Checking with AlPiNA
Steve Hostettler, Alexis Marechal, Alban Linard et al. · Fundamenta Informaticae · 2011 · 33 citations · Full text
1–1 of 1