Inproceedings,
Analyzing software process models with AVISPA.
J. Alegria, M. Bastarrica, and A. Bergel.ICSSP, page 23-32. ACM, (2011)
Meta data
- BibTeX key
- conf/ispw/AlegriaBB11
- entry type
- inproceedings
- booktitle
- ICSSP
- year
- 2011
- pages
- 23-32
- publisher
- ACM
- crossref
- conf/ispw/2011
- ee
- https://doi.org/10.1145/1987875.1987882
- isbn
- 978-1-4503-0730-7
- url
- http://dblp.uni-trier.de/db/conf/ispw/icssp2011.html#AlegriaBB11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ispw/AlegriaBB11
%A Alegria, Julio Ariel Hurtado
%A Bastarrica, María Cecilia
%A Bergel, Alexandre
%B ICSSP
%D 2011
%E Raffo, David
%E Pfahl, Dietmar
%E Zhang, Li
%I ACM
%K dblp
%P 23-32
%T Analyzing software process models with AVISPA.
%U http://dblp.uni-trier.de/db/conf/ispw/icssp2011.html#AlegriaBB11
%@ 978-1-4503-0730-7
@inproceedings{conf/ispw/AlegriaBB11,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Alegria, Julio Ariel Hurtado and Bastarrica, María Cecilia and Bergel, Alexandre},
biburl = {https://www.bibsonomy.org/bibtex/26f5f59ad1a6484336b1ac2ad2e33a860/dblp},
booktitle = {ICSSP},
crossref = {conf/ispw/2011},
editor = {Raffo, David and Pfahl, Dietmar and Zhang, Li},
ee = {https://doi.org/10.1145/1987875.1987882},
interhash = {26ec70cd63d6e6316d251c8f422e4be0},
intrahash = {6f5f59ad1a6484336b1ac2ad2e33a860},
isbn = {978-1-4503-0730-7},
keywords = {dblp},
pages = {23-32},
publisher = {ACM},
timestamp = {2018-11-07T14:47:13.000+0100},
title = {Analyzing software process models with AVISPA.},
url = {http://dblp.uni-trier.de/db/conf/ispw/icssp2011.html#AlegriaBB11},
year = 2011
}