verification of timed systems using cones and foci

2005

Presented at the International Workshop on Parallel and Distributed Methods in Verification, Sterling, Scotland

Additional Metadata
THEME	Software (theme 1)
Publisher	Elsevier
Journal	Electronic Notes in Theoretical Computer Science
Conference	International Workshop on Parallel and Distributed Methods in Verification
Note	6th AMAST Workshop on Real-Time Systems
Organisation	Software Analysis and Transformation
Citation APA APA Style APA-ALL Style AAA 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	Fokkink, W.& Pang, J. (2005). verification of timed systems using cones and foci. Electronic Notes in Theoretical Computer Science, 139(1), 105–122.

Publication