Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko. Verification of networks of timed automata using mCRL2. In 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008. pages 1-8, IEEE, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.