dblp.uni-trier.dewww.uni-trier.de

Izak van Langevelde (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: New developments around the mCRL tool set. Electr. Notes Theor. Comput. Sci. 80: (2003)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Blom, Izak van Langevelde, Bert Lisser: Compressed and Distributed File Formats for Labeled Transition Systems. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: µCRL: A Toolset for Analysing Algebraic Specifications. CAV 2001: 250-254

Selection of 3 from 6 records - Izak van Langevelde has 9 coauthors

Copyright © 2010-01-02 by Michael Ley (ley@uni-trier.de)