CIC:FME01

S. Dupuy, L. du Bousquet. Validation of UML models thanks to Z and Lustre. In Formal Methods Europe, Berlin, Germany, March 2000.

BibTex Reference

@InProceedings{CIC:FME01,
   Author = {Dupuy, S. and du Bousquet, L.},
   Title = {{Validation of UML models thanks to Z and Lustre}},
   BookTitle = {Formal Methods Europe},
   Address = {Berlin, Germany},
   Month = {March},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)