%0 Journal Article %1 journals/acta/GaravelLM15 %A Garavel, Hubert %A Lang, Frédéric %A Mateescu, Radu %D 2015 %J Acta Inf. %K %N 4-5 %P 337-392 %T Compositional verification of asynchronous concurrent systems using CADP. %U http://dblp.uni-trier.de/db/journals/acta/acta52.html#GaravelLM15 %V 52

@article{journals/acta/GaravelLM15, added-at = {2023-12-12T19:26:53.000+0100}, author = {Garavel, Hubert and Lang, Frédéric and Mateescu, Radu}, biburl = {https://www.bibsonomy.org/bibtex/20b4c14e110f4d50aa30626767d930571/admin}, ee = {http://dx.doi.org/10.1007/s00236-015-0226-1}, interhash = {20dbcdf07603278b7fbb85eb7ef4ca9e}, intrahash = {0b4c14e110f4d50aa30626767d930571}, journal = {Acta Inf.}, keywords = {}, number = {4-5}, pages = {337-392}, timestamp = {2023-12-12T19:26:53.000+0100}, title = {Compositional verification of asynchronous concurrent systems using CADP.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta52.html#GaravelLM15}, volume = 52, year = 2015 }