%0 Conference Paper %1 conf/facs2/OrlandoPBLT21 %A Orlando, Simone %A Pasquale, Vairo Di %A Barbanera, Franco %A Lanese, Ivan %A Tuosto, Emilio %B FACS %D 2021 %E Salaün, Gwen %E Wijs, Anton %I Springer %K dblp %P 82-92 %T Corinne, a Tool for Choreography Automata. %U http://dblp.uni-trier.de/db/conf/facs2/facs2021.html#OrlandoPBLT21 %V 13077 %@ 978-3-030-90636-8

@inproceedings{conf/facs2/OrlandoPBLT21, added-at = {2021-12-15T00:00:00.000+0100}, author = {Orlando, Simone and Pasquale, Vairo Di and Barbanera, Franco and Lanese, Ivan and Tuosto, Emilio}, biburl = {https://www.bibsonomy.org/bibtex/247e3529f148b7f61ec0e55386dd254d8/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2021}, editor = {Salaün, Gwen and Wijs, Anton}, ee = {https://doi.org/10.1007/978-3-030-90636-8_5}, interhash = {35cef41ccd87b90ff4a09c44ef19252a}, intrahash = {47e3529f148b7f61ec0e55386dd254d8}, isbn = {978-3-030-90636-8}, keywords = {dblp}, pages = {82-92}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T21:57:14.000+0200}, title = {Corinne, a Tool for Choreography Automata.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2021.html#OrlandoPBLT21}, volume = 13077, year = 2021 }