Verification and test generation for the SSCOP protocol

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier. Verification and test generation for the SSCOP protocol. Science of Computer Programming, 36(1):27-52, 2000.

Abstract

Abstract is missing.