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

AuthID
P-008-YG5
2
Author(s)
2
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
Publication Identifiers
DBLP: conf/dsvis/CamposH99
Wos: WOS:000088674800012
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.