| 2003 |
|---|
| 6 | EE | Izak van Langevelde,
Judi Romijn,
Nicolae Goga:
Founding FireWire Bridges through Promela Prototyping.
IPDPS 2003: 239 |
| 5 | EE | Stefan 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) |
| 4 | EE | Stefan Blom,
Izak van Langevelde,
Bert Lisser:
Compressed and Distributed File Formats for Labeled Transition Systems.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
| 2001 |
|---|
| 3 | EE | Thomas Arts,
Izak van Langevelde:
Correct Performance of Transaction Capabilities.
ACSD 2001: 35-42 |
| 2 | EE | Stefan 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 |
| 2000 |
|---|
| 1 | EE | Paul Dechering,
Izak van Langevelde:
On the Verification of Coordination.
COORDINATION 2000: 335-340 |
