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 MounierVolume:
36
Year:
2000
Language:
english
Pages:
26
DOI:
10.1016/s0167-6423(99)00017-9
File:
PDF, 283 KB
english, 2000