%0 Conference Paper %1 conf/dimacs/LloretAV90 %A Lloret, Jean Christophe %A Azéma, Pierre %A Vernadat, François %B CAV (DIMACS/AMS volume) %D 1990 %E Clarke, Edmund M. %E Kurshan, Robert P. %I DIMACS/AMS %K dblp %P 519-534 %T Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#LloretAV90 %V 3 %@ 978-0-8218-6594-1

@inproceedings{conf/dimacs/LloretAV90, added-at = {2022-06-09T00:00:00.000+0200}, author = {Lloret, Jean Christophe and Azéma, Pierre and Vernadat, François}, biburl = {https://www.bibsonomy.org/bibtex/20526d1d55f6a2ec35808a68d2fb75835/dblp}, booktitle = {CAV (DIMACS/AMS volume)}, crossref = {conf/dimacs/1990a}, editor = {Clarke, Edmund M. and Kurshan, Robert P.}, ee = {https://doi.org/10.1090/dimacs/003/32}, interhash = {4d5a36bfa12dcf4fa9d61cea7e04dbf7}, intrahash = {0526d1d55f6a2ec35808a68d2fb75835}, isbn = {978-0-8218-6594-1}, keywords = {dblp}, pages = {519-534}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:14.000+0200}, title = {Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#LloretAV90}, volume = 3, year = 1990 }