Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich. Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst., 22(2/3):79-99, 1997. [doi]
@article{HartelDKKE97,
title = {Information Systems Modelling with TROLL Formal Methods at Work},
author = {Peter Hartel and Grit Denker and Mojgan Kowsari and Maren Krone and Hans-Dieter Ehrich},
year = {1997},
doi = {10.1016/S0306-4379(97)00006-9},
url = {http://dx.doi.org/10.1016/S0306-4379(97)00006-9},
tags = {information models},
researchr = {https://researchr.org/publication/HartelDKKE97},
cites = {0},
citedby = {0},
journal = {Inf. Syst.},
volume = {22},
number = {2/3},
pages = {79-99},
}