%0 Conference Paper %1 conf/coordination/PrandiQZ08 %A Prandi, Davide %A Quaglia, Paola %A Zannone, Nicola %B COORDINATION %D 2008 %E Lea, Doug %E Zavattaro, Gianluigi %I Springer %K dblp %P 249-263 %T Formal Analysis of BPMN Via a Translation into COWS. %U http://dblp.uni-trier.de/db/conf/coordination/coordination2008.html#PrandiQZ08 %V 5052 %@ 978-3-540-68264-6

@inproceedings{conf/coordination/PrandiQZ08, added-at = {2017-06-02T00:00:00.000+0200}, author = {Prandi, Davide and Quaglia, Paola and Zannone, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/2fb22ca44acb87100292434dcf260dae1/dblp}, booktitle = {COORDINATION}, crossref = {conf/coordination/2008}, editor = {Lea, Doug and Zavattaro, Gianluigi}, ee = {https://doi.org/10.1007/978-3-540-68265-3_16}, interhash = {cfa42368f1a5ffc5d50bba68dae26072}, intrahash = {fb22ca44acb87100292434dcf260dae1}, isbn = {978-3-540-68264-6}, keywords = {dblp}, pages = {249-263}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:07:17.000+0200}, title = {Formal Analysis of BPMN Via a Translation into COWS.}, url = {http://dblp.uni-trier.de/db/conf/coordination/coordination2008.html#PrandiQZ08}, volume = 5052, year = 2008 }