What is the Method in Formal Methods?
- 1 January 1992
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Extensional equivalences for transition systemsActa Informatica, 1987
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Testing equivalences for processesTheoretical Computer Science, 1984