Publicações

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

AuthID
P-008-YG5

Author(s)

Campos, JC

Harrison, MD

Editor(es)

Duke, DJ; Puerta, A

Tipo de Documento

Proceedings Paper

Year published

1999

Publicado

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

Páginas: 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, Patrocinadores: Eurograph, Fdn Ciencia & Tecnol, Co Portuguesa Comp Informat & Sistemas Lda, Ordem Engenheiros, Host: UNIV MINHO

Indexing