Inproceedings,
HawkEye: a tool for collaborative business process modelling and verification.
R. Cognini, D. Falcioni, A. Polini, A. Polzonetti, and B. Re.SAC, page 785-786. ACM, (2013)
Meta data
- BibTeX key
- conf/sac/CogniniFPPR13
- entry type
- inproceedings
- booktitle
- SAC
- year
- 2013
- pages
- 785-786
- publisher
- ACM
- crossref
- conf/sac/2013
- ee
- https://doi.org/10.1145/2480362.2480512
- isbn
- 978-1-4503-1656-9
- url
- http://dblp.uni-trier.de/db/conf/sac/sac2013.html#CogniniFPPR13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sac/CogniniFPPR13
%A Cognini, Riccardo
%A Falcioni, Damiano
%A Polini, Andrea
%A Polzonetti, Alberto
%A Re, Barbara
%B SAC
%D 2013
%E Shin, Sung Y.
%E Maldonado, José Carlos
%I ACM
%K dblp
%P 785-786
%T HawkEye: a tool for collaborative business process modelling and verification.
%U http://dblp.uni-trier.de/db/conf/sac/sac2013.html#CogniniFPPR13
%@ 978-1-4503-1656-9
@inproceedings{conf/sac/CogniniFPPR13,
added-at = {2022-06-23T00:00:00.000+0200},
author = {Cognini, Riccardo and Falcioni, Damiano and Polini, Andrea and Polzonetti, Alberto and Re, Barbara},
biburl = {https://www.bibsonomy.org/bibtex/240c64b1e131ee09fddaca7bc5ff64eb9/dblp},
booktitle = {SAC},
crossref = {conf/sac/2013},
editor = {Shin, Sung Y. and Maldonado, José Carlos},
ee = {https://doi.org/10.1145/2480362.2480512},
interhash = {2ef508d8a09743b934c2abe3b7dd1bef},
intrahash = {40c64b1e131ee09fddaca7bc5ff64eb9},
isbn = {978-1-4503-1656-9},
keywords = {dblp},
pages = {785-786},
publisher = {ACM},
timestamp = {2024-04-10T21:20:27.000+0200},
title = {HawkEye: a tool for collaborative business process modelling and verification.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2013.html#CogniniFPPR13},
year = 2013
}