2016-09-06
Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs
Publication
Publication
Additional Metadata | |
---|---|
J.C.M. Baeten (Jos) , W.J. Fokkink (Wan) | |
Technische Universiteit Eindhoven | |
Institute for Programming research and Algorithmics Dissertation Series ; 2016-11 | |
Organisation | CWI management |
van Hulst, A. C. (2016, September 6). Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs. IPA dissertation series. |