A model-checking approach for service component architectures

J. Abreu, J.L. Fiadeiro, F. Mazzanti, S. Gnesi

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages	219-224
Number of pages	6
Volume	5522 LNCS
DOIs	https://doi.org/10.1007/978-3-642-02138-1_15
Publication status	Published - 1 Jan 2009

Access to Document

@inbook{bfa688bce1724eb3b6e1979cff46acca,

title = "A model-checking approach for service component architectures",

author = "J. Abreu and J.L. Fiadeiro and F. Mazzanti and S. Gnesi",

year = "2009",

month = jan,

day = "1",

doi = "10.1007/978-3-642-02138-1_15",

language = "English",

volume = "5522 LNCS",

pages = "219--224",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - CHAP

T1 - A model-checking approach for service component architectures

AU - Abreu, J.

AU - Fiadeiro, J.L.

AU - Mazzanti, F.

AU - Gnesi, S.

PY - 2009/1/1

Y1 - 2009/1/1

UR - http://www.scopus.com/inward/record.url?scp=70349309667&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-02138-1_15

DO - 10.1007/978-3-642-02138-1_15

M3 - Other contribution

AN - SCOPUS:70349309667

VL - 5522 LNCS

SP - 219

EP - 224

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -