J. C. Campos and M. D. Harrison
Using automated reasoning in the design of an audio-visual communication system
In D. J. Duke and A. Puerta, editors, Design, Specification and Verification of Interactive Systems '99, Springer Computer Science, pages 167-188. Springer-Verlag/Wien. 1999. (ISSN: 0946-2767, ISBN: 3-211-83405-2)

download PDF

@INProceedings{CamposH99,
 author = {J. C. Campos and M. D. Harrison},
 title = {Using automated reasoning in the design of an audio-visual communication system},
 booktitle = {Design, Specification and Verification of Interactive Systems '99},
 publisher = {Springer-Verlag/Wien},
 year = {1999},
 editor = {D. J. Duke and A. Puerta},
 series = {Springer Computer Science},
 pages = {167-188},
 note = {ISSN: 0946-2767, ISBN: 3-211-83405-2},
 organization = {Eurographics},
 paperurl = {http://repositorium.sdum.uminho.pt/bitstream/1822/747/1/CamposH99.pdf}
}

Generated by mkBiblio 2.6.23