BOP98

L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess: a validation tool for synchronous software. In International Workshop Tool Support for System Specification, Development and Verification, Malente, Allemagne, 1998.

Contact

Farid Ouabdesselam
Ioannis Parissis
Jean-Luc Richier

BibTex Reference

@InProceedings{BOP98,
   Author = {Bousquet, L. du and Ouabdesselam, F. and Parissis, I. and Richier, J.-L. and Zuanon, N.},
   Title = {Lutess: a validation tool for synchronous software},
   BookTitle = {International Workshop Tool Support for System Specification, Development and Verification},
   Address = {Malente, Allemagne},
   Year = {1998}
}

EndNote Reference [help]

Get EndNote Reference (.ref)