Sign in

Roughness in Timed Transition Systems Modeling Propagation of Plasmodium.

Andrew SchumannKrzysztof Pancerz
Published in: RSKT (2015)
Keyphrases
  • transition systems
  • concurrent systems
  • temporal logic
  • petri net
  • model checking
  • distributed systems
  • modeling language