DBLP Record 'conf/dsvis/dAusbourgDR96'

BibTeX

@inproceedings{DBLP:conf/dsvis/dAusbourgDR96,
  author    = {Bruno d'Ausbourg and
               Guy Durrieu and
               Pierre Roch{\'e}},
  title     = {Deriving a Formal Model of an Interactive System from its
               UIL Description in order to Verify and Test its Behaviour},
  booktitle = {DSV-IS},
  year      = {1996},
  pages     = {105-122},
  crossref  = {DBLP:conf/dsvis/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dsvis/1996,
  editor    = {Fran\c{c}ois Bodart and
               Jean Vanderdonckt},
  title     = {Design, Specification and Verification of Interactive Systems'96,
               Proceedings of the Third International Eurographics Workshop,
               June 5-7, 1996, Namur, Belgium},
  booktitle = {DSV-IS},
  publisher = {Springer},
  year      = {1996},
  isbn      = {3-211-82900-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}