The Community for Technology Leaders
Parallel and Distributed Processing Symposium, International (2008)
Miami, FL, USA
Apr. 14, 2008 to Apr. 18, 2008
ISBN: 978-1-4244-1693-6
pp: 1-8
Jan Friso Groote , Laboratory for Quality Software, Department of Mathematics and Computer Science, Technical University of Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
Yaroslav S. Usenko , Laboratory for Quality Software, Department of Mathematics and Computer Science, Technical University of Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
Michel A. Reniers , Laboratory for Quality Software, Department of Mathematics and Computer Science, Technical University of Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
INDEX TERMS
CITATION
Jan Friso Groote, Yaroslav S. Usenko, Michel A. Reniers, "Verification of networks of timed automata using mCRL2", Parallel and Distributed Processing Symposium, International, vol. 00, no. , pp. 1-8, 2008, doi:10.1109/IPDPS.2008.4536575
82 ms
(Ver 3.3 (11022016))