2009-05-14
Coalgebraic Modelling: Applications in Automata Theory and Modal Logic
Publication
Publication
Additional Metadata | |
---|---|
J.J.M.M. Rutten (Jan) | |
Vrije Universiteit Amsterdam | |
Institute for Programming research and Algorithmics Dissertation Series ; 2009-7 | |
Organisation | Computer Security |
Hansen, H. (2009, May 14). Coalgebraic Modelling: Applications in Automata Theory and Modal Logic. IPA dissertation series. |