Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs

Additional Metadata
Promotor	J.C.M. Baeten (Jos) , W.J. Fokkink (Wan)
Degree Grantor	Technische Universiteit Eindhoven
Copromotor	M.A. Reniers (Michel)
ISBN	978-90-386-4141-6
Series	Institute for Programming research and Algorithmics Dissertation Series ; 2016-11
Organisation	CWI management
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	van Hulst, A. (2016, September 6). Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs. IPA dissertation series.

Publication