VeriSiMPL : Verification via biSimulations of MPL models

D Adzkiya; A Abate

doi:10.1007/978-3-642-40196-1_22

VeriSiMPL : Verification via biSimulations of MPL models

D Adzkiya, A Abate

Team Bart De Schutter

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

Original language	English
Title of host publication	Prceedings 10th International Conference Quantitative Evaluation of Systems 2013
Editors	K Joshi, M Siegle, M Stoelinga, P D'Argenio
Place of Publication	Berlin- Heidelberg
Publisher	Springer
Pages	274-277
Number of pages	4
ISBN (Print)	978-3-642-40196-1
DOIs	https://doi.org/10.1007/978-3-642-40196-1_22
Publication status	Published - 2013
Event	QEST 2013, Buenos Aires, Argentina - Berlin - Heidelberg, Germany Duration: 27 Aug 2013 → 30 Aug 2013

Publication series

Name
Publisher	Springer verlag

Name	Lecture Notes in Computer Science
Volume	8054
ISSN (Print)	0302-9743

Conference

Conference	QEST 2013, Buenos Aires, Argentina
Period	27/08/13 → 30/08/13

Bibliographical note

harvest

Keywords

CWTS JFIS < 0.75

Access to Document

10.1007/978-3-642-40196-1_22

Cite this

@inproceedings{9104984299364813b7b94adeb7f466c8,

title = "VeriSiMPL : Verification via biSimulations of MPL models",

keywords = "CWTS JFIS < 0.75",

author = "D Adzkiya and A Abate",

note = "harvest; QEST 2013, Buenos Aires, Argentina ; Conference date: 27-08-2013 Through 30-08-2013",

year = "2013",

doi = "10.1007/978-3-642-40196-1_22",

language = "English",

isbn = "978-3-642-40196-1",

publisher = "Springer",

pages = "274--277",

editor = "K Joshi and M Siegle and M Stoelinga and P D'Argenio",

booktitle = "Prceedings 10th International Conference Quantitative Evaluation of Systems 2013",

}

Adzkiya, D & Abate, A 2013, VeriSiMPL : Verification via biSimulations of MPL models. in K Joshi, M Siegle, M Stoelinga & P D'Argenio (eds), Prceedings 10th International Conference Quantitative Evaluation of Systems 2013. Lecture Notes in Computer Science, vol. 8054, Springer, Berlin- Heidelberg, pp. 274-277, QEST 2013, Buenos Aires, Argentina, 27/08/13. https://doi.org/10.1007/978-3-642-40196-1_22

VeriSiMPL : Verification via biSimulations of MPL models. / Adzkiya, D; Abate, A.
Prceedings 10th International Conference Quantitative Evaluation of Systems 2013. ed. / K Joshi; M Siegle; M Stoelinga; P D'Argenio. Berlin- Heidelberg: Springer, 2013. p. 274-277 (Lecture Notes in Computer Science; Vol. 8054).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - VeriSiMPL : Verification via biSimulations of MPL models

AU - Adzkiya, D

AU - Abate, A

N1 - harvest

PY - 2013

Y1 - 2013

KW - CWTS JFIS < 0.75

U2 - 10.1007/978-3-642-40196-1_22

DO - 10.1007/978-3-642-40196-1_22

M3 - Conference contribution

SN - 978-3-642-40196-1

SP - 274

EP - 277

BT - Prceedings 10th International Conference Quantitative Evaluation of Systems 2013

A2 - Joshi, K

A2 - Siegle, M

A2 - Stoelinga, M

A2 - D'Argenio, P

PB - Springer

CY - Berlin- Heidelberg

T2 - QEST 2013, Buenos Aires, Argentina

Y2 - 27 August 2013 through 30 August 2013

ER -