Open access
Date
1994Type
- Report
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-000958675Publication status
publishedJournal / series
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeVolume
Publisher
Departement Informatik, ETH ZentrumSubject
VERIFICATION (SOFTWARE ENGINEERING); DATENBANKEN (INFORMATIONSSYSTEME); VERIFIKATION (SOFTWARE ENGINEERING); ABFRAGEN (INFORMATIONSSYSTEME); DATABASES (INFORMATION SYSTEMS); QUERIES (INFORMATION SYSTEMS)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Technical Reports D-INFK.More
Show all metadata
ETH Bibliography
yes
Altmetrics