Antonio De Nicola, Michele Missikoff, Maurizio Proietti, Fabrizio Smith. An Open Platform for Business Process Modeling and Verification. In Pablo Garcia Bringas, Abdelkader Hameurlain, Gerald Quirchmayr, editors, Database and Expert Systems Applications, 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I. Volume 6261 of Lecture Notes in Computer Science, pages 76-90, Springer, 2010. [doi]
@inproceedings{NicolaMPS10,
title = {An Open Platform for Business Process Modeling and Verification},
author = {Antonio De Nicola and Michele Missikoff and Maurizio Proietti and Fabrizio Smith},
year = {2010},
doi = {http://dx.doi.org/10.1007/978-3-642-15364-8_6},
tags = {modeling, business process modeling, source-to-source, process modeling, open-source},
researchr = {http://researchr.org/publication/NicolaMPS10},
cites = {0},
citedby = {0},
pages = {76-90},
booktitle = {Database and Expert Systems Applications, 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I},
editor = {Pablo Garcia Bringas and Abdelkader Hameurlain and Gerald Quirchmayr},
volume = {6261},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-15363-1},
}