university website Publications by Year
  • sign in
  • Institute for Programming research and Algorithmics Dissertation Series ; 1999-09 /
  • Dissertation
  • Search

J.M.T. Romijn (Judi)

1999-10-15

Analysing industrial protocols with formal methods

Publication

Publication

Additional Metadata
Promotor H. Brinksma , F.W. Vaandrager (Frits)
Degree Grantor Universiteit Twente
ISBN 978-90-90-13086-6
Series Institute for Programming research and Algorithmics Dissertation Series ; 1999-09
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
Romijn, J.M.T. (1999, October 15). Analysing industrial protocols with formal methods (No. 1999-09). IPA dissertation series.
  • View at Worldcat

Full Text ( Final Version , 951kb ) cover

university website
  • Address

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

    • Open Science Portal
    • Submit Your CWI Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close