Completeness of Timed mCRL.

Michel A. Reniers Jan Friso Groote Mark van der Zwaag Jos van Wamel

Published in: Fundam. Informaticae (2002)

Keyphrases

petri net
timed automata
finite state machines
formal proofs
artificial intelligence
multi agent systems
multi dimensional
markov chain
data quality