Login / Signup
Martin Vejnar
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Deterministic Finite Automaton
Automated Verification
Model Checking
Reactive Systems
Top Venues
IEEE ACM Trans. Comput. Biol. Bioinform.
</>
Publications
</>
Jiri Barnat
,
Lubos Brim
,
Adam Krejci
,
Adam Streck
,
David Safránek
,
Martin Vejnar
,
Tomas Vejpustek
On Parameter Synthesis by Parallel Model Checking.
IEEE ACM Trans. Comput. Biol. Bioinform.
9 (3) (2012)