DBLP Record 'conf/dsvis/MarkopoulosPJR98'

BibTeX

@inproceedings{DBLP:conf/dsvis/MarkopoulosPJR98,
  author    = {Panos Markopoulos and
               Giorgios Papatzanis and
               Peter Johnson and
               Jon Rowson},
  title     = {Validating Semi-Formal Specifications of Interactors as
               Design Representations},
  booktitle = {DSV-IS},
  year      = {1998},
  pages     = {102-116},
  crossref  = {DBLP:conf/dsvis/1998-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dsvis/1998-1,
  editor    = {Panos Markopoulos and
               Peter Johnson},
  title     = {Design, Specification and Verification of Interactive Systems'98,
               Proceedings of the Fifth International Eurographics Workshop,
               June 3-5, 1998, Abingdon, United Kingdom},
  booktitle = {DSV-IS},
  publisher = {Springer},
  volume    = {1},
  year      = {1998},
  isbn      = {3-211-83212-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}