Analysing industrial protocols with formal methods

Additional Metadata
Promotor	H. Brinksma , F.W. Vaandrager (Frits)
Degree Grantor	Universiteit Twente
ISBN	978-90-90-13086-6
Series	Institute for Programming research and Algorithmics Dissertation Series ; 1999-09
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	Romijn, J. (1999, October 15). Analysing industrial protocols with formal methods (No. 1999-09). IPA dissertation series.

Additional Files
View at publisher

Publication