%0 Conference Paper %1 conf/apn/Miyamoto16 %A Miyamoto, Toshiyuki %B PNSE @ Petri Nets %D 2016 %E Cabac, Lawrence %E Kristensen, Lars Michael %E Rölke, Heiko %I CEUR-WS.org %K dblp %P 335-340 %T CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/pnse2016.html#Miyamoto16 %V 1591

@inproceedings{conf/apn/Miyamoto16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Miyamoto, Toshiyuki}, biburl = {https://www.bibsonomy.org/bibtex/2cb3403ed5d25ff3aa69fe46805ce8916/dblp}, booktitle = {PNSE @ Petri Nets}, crossref = {conf/apn/2016pnse}, editor = {Cabac, Lawrence and Kristensen, Lars Michael and Rölke, Heiko}, ee = {https://ceur-ws.org/Vol-1591/paper22.pdf}, interhash = {9ef75509fb8cd074d037b67bd972c7c3}, intrahash = {cb3403ed5d25ff3aa69fe46805ce8916}, keywords = {dblp}, pages = {335-340}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T12:02:35.000+0200}, title = {CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/pnse2016.html#Miyamoto16}, volume = 1591, year = 2016 }