Verification of Networks of Timed Automata Using mCRL2
2008 IEEE International Symposium on Parallel and Distributed Processing
doi 10.1109/ipdps.2008.4536575
Full Text
Open PDFAbstract
Available in full text
Date
April 1, 2008
Authors
Publisher
IEEE