CIC-03:vasco-80

L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Testing about some eventuality properties of synchronous software: a case study. In Synchronous Languages, Applications, and Programming (SLAP'03), Pages 105-121, July 2003.

Contact

Farid Ouabdesselam
Jean-Luc Richier

BibTex Reference

@InProceedings{CIC-03:vasco-80,
   Author = {du Bousquet, L. and Ouabdesselam, F. and Richier, J.-L. and Zuanon, N.},
   Title = {{Testing about some eventuality properties of synchronous software: a case study}},
   BookTitle = {{Synchronous Languages, Applications, and Programming (SLAP'03)}},
   Pages = {105--121},
   Publisher = {Electronic Notes in Theoretical Computer Science (ENTCS), volume 88},
   Month = {July},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)