A model-checking approach for service component architectures

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

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number of pages6
Volume5522 LNCS
Publication statusPublished - 1 Jan 2009

Cite this