Izak van Langevelde
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1992–2001
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CAV | µCRL: A Toolset for Analysing Algebraic Specifications. | Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |
| 2000 | Coordination | On the Verification of Coordination. | Paul Dechering, Izak van Langevelde |
| 1992 | ECAI | Formal Specification of Compositional Architectures. | Izak van Langevelde, A. Philipsen, Jan Treur |