Login / Signup
Methods of Translation of Petri Nets to NuSMV Language.
Marcin Szpyrka
Agnieszka Biernacka
Jerzy Biernacki
Published in:
CS&P (2014)
Keyphrases
</>
petri net
model checking