Izak van Langevelde

Publication Activity (10 Years)

Years Active: 1992-2003
Publications (10 Years): 0

Publications

Izak van Langevelde, Judi Romijn, Nicolae Goga
Founding FireWire Bridges through Promela Prototyping. IPDPS (2003)
Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
New developments around the mCRL tool set. Electron. Notes Theor. Comput. Sci. 80 (2003)
Stefan Blom, Izak van Langevelde, Bert Lisser
Compressed and Distributed File Formats for Labeled Transition Systems. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Thomas Arts, Izak van Langevelde
Correct Performance of Transaction Capabilities. ACSD (2001)
Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
µCRL: A Toolset for Analysing Algebraic Specifications. CAV (2001)
Paul Dechering, Izak van Langevelde
On the Verification of Coordination. COORDINATION (2000)
Izak van Langevelde, A. Philipsen, Jan Treur
Formal Specification of Compositional Architectures. ECAI (1992)