Verification of Networks of Timed Automata using mCRL2

2008

Presented at the IEEE International Symposium on Parallel and Distributed Processing

Additional Metadata
THEME	Software (theme 1)
Project	Modelling and Verification of Business Processes
Conference	IEEE International Symposium on Parallel and Distributed Processing
Organisation	Visualization and 3D User Interfaces
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Groote, J. F., Reniers, M., & Usenko, Y. (2008). Verification of Networks of Timed Automata using mCRL2.

Publication