Hubert Garavel, Frédéric Lang, Radu Mateescu. Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica, 52(4-5):337-392, 2015. [doi]
@article{GaravelLM15,
title = {Compositional verification of asynchronous concurrent systems using CADP},
author = {Hubert Garavel and Frédéric Lang and Radu Mateescu},
year = {2015},
doi = {10.1007/s00236-015-0226-1},
url = {http://dx.doi.org/10.1007/s00236-015-0226-1},
researchr = {https://researchr.org/publication/GaravelLM15},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {52},
number = {4-5},
pages = {337-392},
}