@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.26