Searching for "Automatic testing equivalence verification of spi calculus specifications." – sorted by Relevance.
-
Automatic testing equivalence verification of spi calculus specifications
- Automatic testing equivalence verification of spi-calculus specifications Luca Durante
- Cited by 3 (0 self) – Add To MetaCart
-
Outline
- presented in L. Durante, R. Sisto, A. Valenzano: “Automatic testing equivalence verification of spi calculus
- Add To MetaCart

