university website Publications by Year
  • sign in
  • Computer Security /
  • Institute for Programming research and Algorithmics Dissertation Series ; 2009-7 /
  • Dissertation
  • Search

H.H. Hansen (Helle)

2009-05-14

Coalgebraic Modelling: Applications in Automata Theory and Modal Logic

Publication

Publication

Additional Metadata
THEME Software (theme 1)
Promotor J.J.M.M. Rutten (Jan)
Degree Grantor Vrije universiteit Amsterdam
ISBN 978-90-8659-308-8
Persistent URL hdl.handle.net/1871/13247
Series Institute for Programming research and Algorithmics Dissertation Series ; 2009-7
Organisation Computer Security
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
Hansen, H. (2009, May 14). Coalgebraic Modelling: Applications in Automata Theory and Modal Logic. IPA dissertation series. Retrieved from http://hdl.handle.net/1871/13247
  • View at Worldcat

Free Full Text ( Final Version )

Additional Files
15083B.pdf Author Manuscript , 1mb
Publisher Version

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close