Specification and verification of database dynamics. / Fiadeiro, J.; Sernadas, A.

In: Acta Informatica, Vol. 25, No. 6, 01.08.1988, p. 625-661.

Research output: Contribution to journalArticlepeer-review

Published

Standard

Specification and verification of database dynamics. / Fiadeiro, J.; Sernadas, A.

In: Acta Informatica, Vol. 25, No. 6, 01.08.1988, p. 625-661.

Research output: Contribution to journalArticlepeer-review

Harvard

Fiadeiro, J & Sernadas, A 1988, 'Specification and verification of database dynamics', Acta Informatica, vol. 25, no. 6, pp. 625-661. https://doi.org/10.1007/BF00291052

APA

Vancouver

Author

Fiadeiro, J. ; Sernadas, A. / Specification and verification of database dynamics. In: Acta Informatica. 1988 ; Vol. 25, No. 6. pp. 625-661.

BibTeX

@article{aebeabf436fa403793017986460b20e7,
title = "Specification and verification of database dynamics",
author = "J. Fiadeiro and A. Sernadas",
note = "Copyright 2007 Elsevier B.V., All rights reserved.",
year = "1988",
month = aug,
day = "1",
doi = "10.1007/BF00291052",
language = "English",
volume = "25",
pages = "625--661",
journal = "Acta Informatica",
issn = "0001-5903",
publisher = "Springer",
number = "6",

}

RIS

TY - JOUR

T1 - Specification and verification of database dynamics

AU - Fiadeiro, J.

AU - Sernadas, A.

N1 - Copyright 2007 Elsevier B.V., All rights reserved.

PY - 1988/8/1

Y1 - 1988/8/1

UR - http://www.scopus.com/inward/record.url?scp=0024138111&partnerID=8YFLogxK

U2 - 10.1007/BF00291052

DO - 10.1007/BF00291052

M3 - Article

AN - SCOPUS:0024138111

VL - 25

SP - 625

EP - 661

JO - Acta Informatica

JF - Acta Informatica

SN - 0001-5903

IS - 6

ER -