loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Conference on Quality Software (QSIC 2007)
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
Portland, Oregon, USA
October 11-October 12
ISBN: 0-7695-3035-4
ASCII Text
x 
 
Farid Mokhati, Patrice Gagnon, Mourad Badri, "Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach," Quality Software, International Conference on, pp. 356-362, Seventh International Conference on Quality Software (QSIC 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2007.69,
author = {Farid Mokhati and Patrice Gagnon and Mourad Badri},
title = {Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2007},
issn = {1550-6002},
pages = {356-362},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.69},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
SN - 1550-6002
SP356
EP362
A1 - Farid Mokhati,
A1 - Patrice Gagnon,
A1 - Mourad Badri,
PY - 2007
VL - 0
JA - Quality Software, International Conference on
ER -
 
Farid Mokhati, University of Oum-El-Bouaghi
Patrice Gagnon, University of Qu?bec at Trois-Riv
Mourad Badri, University of Qu?bec at Trois-Riv
30350356
Citation:
Farid Mokhati, Patrice Gagnon, Mourad Badri, "Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach," qsic, pp.356-362, Seventh International Conference on Quality Software (QSIC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.