Citation

BibTex format

@techreport{Ghazi:1998,
author = {Ghazi, T and Huth, M},
booktitle = {An Abstraction-Based Analysis of Rule Systems for Active Database Management Systems},
publisher = {Department of Computing and Information Sciences, Kansas State University},
title = {An Abstraction-Based Analysis of Rule Systems for Active Database Management Systems},
url = {http://pubs.doc.ic.ac.uk/database-model-checking},
year = {1998}
}
Download

RIS format (EndNote, RefMan)

TY  - RPRT
AU  - Ghazi,T
AU  - Huth,M
PB  - Department of Computing and Information Sciences, Kansas State University
PY  - 1998///
TI  - An Abstraction-Based Analysis of Rule Systems for Active Database Management Systems
T1  - An Abstraction-Based Analysis of Rule Systems for Active Database Management Systems
UR  - http://pubs.doc.ic.ac.uk/database-model-checking
ER  -
Download