Chris A. Vissers
3 published titles
The Formal description technique Lotos : results of the ESPRIT/SEDOS Project
(Contributor)
1 edition
- ISBN: 0444872671
- North-Holland
- 1989
- Details
Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-
(Contributor)
1 edition
- ISBN: 0444883436
- North-Holland
- 1990
- Details
LOTOSphere : software development with LOTOS
(Contributor)
1 edition
- ISBN: 0792395298
- Kluwer Academic
- 1995
- Details
