Publications

Using Automated Reasoning in the Design of an Audio-Visual Communication System

AuthID
P-008-YG5

Author(s)

Campos, JC

Harrison, MD

Editor(s)

Duke, DJ; Puerta, A

Document Type

Proceedings Paper

Year published

1999

Published

in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99 in SPRINGER COMPUTER SCIENCE

Pages: 167-188 (8)

Conference

Eurographics Workshop on Design, Specification and Verification of Interactive Systems (Dsv-Is 99), Date: JUN 02-04, 1999, Location: BRAGA, PORTUGAL, Sponsors: Eurograph, Fdn Ciencia & Tecnol, Co Portuguesa Comp Informat & Sistemas Lda, Ordem Engenheiros, Host: UNIV MINHO

Indexing