Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski. Automated Verification of Communication Protocols Using CCS and BDDs. In 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP 98), March 30 - April 3, 1998, Orlando, Florida, USA, Proceedings. pages 1057-1066, IEEE Computer Society, 1998.
@inproceedings{LichteneckerGZ98,
title = {Automated Verification of Communication Protocols Using CCS and BDDs},
author = {Reiner Lichtenecker and Klaus Gotthardt and Janusz Zalewski},
year = {1998},
tags = {protocol},
researchr = {https://researchr.org/publication/LichteneckerGZ98},
cites = {0},
citedby = {0},
pages = {1057-1066},
booktitle = {12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP 98), March 30 - April 3, 1998, Orlando, Florida, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-8186-8403-8},
}