Ercument Canver, Friedrich W. von Henke. Formal Development of Object-Based Systems in a Temporal Logic Setting. In Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri, editors, Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. Volume 139 of IFIP Conference Proceedings, pages 419-436, Kluwer, 1999.
@inproceedings{CanverH99,
title = {Formal Development of Object-Based Systems in a Temporal Logic Setting},
author = {Ercument Canver and Friedrich W. von Henke},
year = {1999},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/CanverH99},
cites = {0},
citedby = {0},
pages = {419-436},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
editor = {Paolo Ciancarini and Alessandro Fantechi and Roberto Gorrieri},
volume = {139},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-7923-8429-6},
}