INV-04:vasco-97

F. Ouabdesselam. Testing Synchronous Reactive Software Against Formal Properties. In 16th IFIP International Conference, TestCom 2004, Invited Talk, Oxford, UK, March 2004.

Contact

Farid Ouabdesselam

BibTex Reference

@InProceedings{INV-04:vasco-97,
   Author = {Ouabdesselam, F.},
   Title = {{Testing Synchronous Reactive Software Against Formal Properties}},
   BookTitle = {{16th IFIP International Conference, TestCom 2004}},
   Address = {Oxford, UK},
   Month = {March},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)