Abstractions and static analysis for verifying reactive systems

Additional Metadata
THEME	Software (theme 1)
Promotor	W.J. Fokkink (Wan)
Degree Grantor	Vrije Universiteit Amsterdam
ISBN	978-90-6196-525-1
Organisation	Software Analysis and Transformation
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	Yustinova, N. (2004, November 4). Abstractions and static analysis for verifying reactive systems.

Publication