Compositional Model-Checking Verification of Critical Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki
Compositional Model-Checking Verification of Critical Systems
ICEIS, 2008.

ICEIS J 2008
Full names Links ISxN
	author        = "Luis E. Mendoza Morales and Manuel I. Capel and María A. Pérez and Kawtar Benghazi Akhlaki",
	booktitle     = "{Revised Selected Papers of the 10th International Conference on Enterprise Information Systems}",
	doi           = "10.1007/978-3-642-00670-8_16",
	isbn          = "978-3-642-00669-2",
	pages         = "213--225",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Business Information Processing}",
	title         = "{Compositional Model-Checking Verification of Critical Systems}",
	volume        = 19,
	year          = 2008,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.