%0 Conference Paper %1 conf/iceis/MoralesTPA08 %A Morales, Luis E. Mendoza %A Tuñón, Manuel I. Capel %A Pérez, María A. %A Akhlaki, Kawtar Benghazi %B ICEIS (3-1) %D 2008 %E Cordeiro, José %E Filipe, Joaquim %K dblp %P 86-93 %T A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. %U http://dblp.uni-trier.de/db/conf/iceis/iceis2008-3-1.html#MoralesTPA08 %@ 978-989-8111-38-8

@inproceedings{conf/iceis/MoralesTPA08, added-at = {2008-08-14T00:00:00.000+0200}, author = {Morales, Luis E. Mendoza and Tuñón, Manuel I. Capel and Pérez, María A. and Akhlaki, Kawtar Benghazi}, biburl = {https://www.bibsonomy.org/bibtex/264674fca687fadd9315ed5880e119129/dblp}, booktitle = {ICEIS (3-1)}, crossref = {conf/iceis/2008-3-1}, date = {2008-08-14}, description = {dblp}, editor = {Cordeiro, José and Filipe, Joaquim}, interhash = {a78a99c4e6040ee17ee7c349b7d43e15}, intrahash = {64674fca687fadd9315ed5880e119129}, isbn = {978-989-8111-38-8}, keywords = {dblp}, pages = {86-93}, timestamp = {2008-08-15T11:51:09.000+0200}, title = {A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.}, url = {http://dblp.uni-trier.de/db/conf/iceis/iceis2008-3-1.html#MoralesTPA08}, year = 2008 }