Login / Signup

Finite and infinite implementation of transition systems.

Wim H. HesselinkGerard R. Renardel de Lavalette
Published in: Theor. Comput. Sci. (2012)
Keyphrases
  • transition systems
  • temporal logic
  • concurrent systems
  • model checking
  • case study
  • petri net