@inproceedings{def96355b32b44619b3f4a68ef180ed2,
title = "The use of static constructs in a model process logic",
author = "Hans H{\"u}ttel and Larsen, {Kim G.}",
year = "1989",
month = jan,
day = "1",
doi = "10.1007/3-540-51237-3_14",
language = "English",
isbn = "9783540512370",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Physica-Verlag",
pages = "163--180",
editor = "Meyer, {Albert R.} and Taitslin, {Michael A.}",
booktitle = "Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings",
note = "International Symposium on Logical Foundations of Computer Science, 1989 ; Conference date: 03-07-1989 Through 08-07-1989",
}