Patrice Gagnon

	2008
3		Patrice Gagnon, Farid Mokhati, Mourad Badri: Applying Model Checking to Concurrent UML Models. Journal of Object Technology 7(1): 59-84 (2008)
	2007
2		Farid Mokhati, Patrice Gagnon, Mourad Badri: Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. QSIC 2007: 356-362
	2006
1		Farid Mokhati, Mourad Badri, Patrice Gagnon: Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. SEKE 2006: 572-577

Coauthor Index

1	Mourad Badri	[1] [2] [3]
2	Farid Mokhati	[1] [2] [3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page