1998
Checking verifications of protocols and distributed systems by computer
Publication
Publication
Presented at the
International Conference on Concurrency Theory, Nice, France
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Concurrency Theory | |
Groote, J. F., Monin, F., & van de Pol, J. (1998). Checking verifications of protocols and distributed systems by computer. In CONCUR \\\ (pp. 629–655). Springer. |