Mads Dam, Dilian Gurov. Compositional Verification of CCS Processes. In Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings. Volume 1755 of Lecture Notes in Computer Science, pages 247-256, Springer, 1999. [doi]
@inproceedings{DamG99,
title = {Compositional Verification of CCS Processes},
author = {Mads Dam and Dilian Gurov},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1755/17550247.htm},
tags = {composition},
researchr = {https://researchr.org/publication/DamG99},
cites = {0},
citedby = {0},
pages = {247-256},
booktitle = {Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings},
editor = {Dines Bjørner and Manfred Broy and Alexandre V. Zamulin},
volume = {1755},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67102-1},
}