Günter Graw, Peter Herrmann, Heiko Krumm. Constraint-oriented formal modelling of OO-systems. In Lea Kutvonen, Hartmut König, Martti Tienari, editors, Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland. Volume 143 of IFIP Conference Proceedings, pages 345, Kluwer, 1999.
@inproceedings{GrawHK99,
title = {Constraint-oriented formal modelling of OO-systems},
author = {Günter Graw and Peter Herrmann and Heiko Krumm},
year = {1999},
tags = {constraints},
researchr = {https://researchr.org/publication/GrawHK99},
cites = {0},
citedby = {0},
pages = {345},
booktitle = {Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland},
editor = {Lea Kutvonen and Hartmut König and Martti Tienari},
volume = {143},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-7923-8527-6},
}