Additional Metadata
Promotor J.C.M. Baeten (Jos) , W.J. Fokkink (Wan)
Degree Grantor Technische Universiteit Eindhoven
ISBN 978-90-386-4141-6
Series Institute for Programming research and Algorithmics Dissertation Series ; 2016-11
Citation
van Hulst, A.C. (2016, September 6). Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs. Institute for Programming research and Algorithmics Dissertation Series.