%0 Conference Paper %1 conf/fase/AutiliRSIT13 %A Autili, Marco %A Ruscio, Davide Di %A Salle, Amleto Di %A Inverardi, Paola %A Tivoli, Massimo %B FASE %D 2013 %E Cortellessa, Vittorio %E Varró, Dániel %I Springer %K dblp %P 37-52 %T A Model-Based Synthesis Process for Choreography Realizability Enforcement. %U http://dblp.uni-trier.de/db/conf/fase/fase2013.html#AutiliRSIT13 %V 7793 %@ 978-3-642-37056-4

@inproceedings{conf/fase/AutiliRSIT13, added-at = {2024-02-05T00:00:00.000+0100}, author = {Autili, Marco and Ruscio, Davide Di and Salle, Amleto Di and Inverardi, Paola and Tivoli, Massimo}, biburl = {https://www.bibsonomy.org/bibtex/2ae31392ec70f082a43b3a55ba798f4ea/dblp}, booktitle = {FASE}, crossref = {conf/fase/2013}, editor = {Cortellessa, Vittorio and Varró, Dániel}, ee = {https://www.wikidata.org/entity/Q59407395}, interhash = {04e0e426c308cc44902b3e11fb829b15}, intrahash = {ae31392ec70f082a43b3a55ba798f4ea}, isbn = {978-3-642-37056-4}, keywords = {dblp}, pages = {37-52}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:02:51.000+0200}, title = {A Model-Based Synthesis Process for Choreography Realizability Enforcement.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2013.html#AutiliRSIT13}, volume = 7793, year = 2013 }