Towards the Verification of Adaptable Processes

Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez; Gianluigi Zavattaro

doi:10.1007/978-3-642-34026-0_20

Towards the Verification of Adaptable Processes

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

6 Citations (Scopus)

Original language	English
Title of host publication	5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I
Subtitle of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Place of Publication	Heraklion, Crete, Greece
Pages	269-283
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-34026-0_20
Publication status	Published - 2012

Publication series

Name	Lecture notes in computer science
Publisher	Springer
Volume	7609
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-34026-0_20

http://dx.doi.org/10.1007/978-3-642-34026-0_20

Handle.net

Persistent link

Cite this

Bravetti, M., Giusto, C. D., Pérez, J. A., & Zavattaro, G. (2012). Towards the Verification of Adaptable Processes. In 5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (pp. 269-283). (Lecture notes in computer science; Vol. 7609).. https://doi.org/10.1007/978-3-642-34026-0_20

Bravetti, Mario ; Giusto, Cinzia Di ; Pérez, Jorge A. et al. / Towards the Verification of Adaptable Processes. 5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Heraklion, Crete, Greece, 2012. pp. 269-283 (Lecture notes in computer science).

@inproceedings{bd3ca6b388c342bfb5ffc0b592fc2382,

title = "Towards the Verification of Adaptable Processes",

author = "Mario Bravetti and Giusto, {Cinzia Di} and P{\'e}rez, {Jorge A.} and Gianluigi Zavattaro",

year = "2012",

doi = "10.1007/978-3-642-34026-0_20",

language = "English",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "269--283",

booktitle = "5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I",

}

Bravetti, M, Giusto, CD, Pérez, JA & Zavattaro, G 2012, Towards the Verification of Adaptable Processes. in 5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture notes in computer science, vol. 7609, Heraklion, Crete, Greece, pp. 269-283. https://doi.org/10.1007/978-3-642-34026-0_20

Towards the Verification of Adaptable Processes. / Bravetti, Mario; Giusto, Cinzia Di; Pérez, Jorge A. et al.
5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Heraklion, Crete, Greece, 2012. p. 269-283 (Lecture notes in computer science; Vol. 7609).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Towards the Verification of Adaptable Processes

AU - Bravetti, Mario

AU - Giusto, Cinzia Di

AU - Pérez, Jorge A.

AU - Zavattaro, Gianluigi

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-34026-0_20

DO - 10.1007/978-3-642-34026-0_20

M3 - Conference contribution

T3 - Lecture notes in computer science

SP - 269

EP - 283

BT - 5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I

CY - Heraklion, Crete, Greece

ER -

Bravetti M, Giusto CD, Pérez JA, Zavattaro G. Towards the Verification of Adaptable Processes. In 5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Heraklion, Crete, Greece. 2012. p. 269-283. (Lecture notes in computer science). doi: 10.1007/978-3-642-34026-0_20