Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin. Derivation of Formal Representations from Process-Based Specification and Implementation Models. In ISSS. pages 16, 1997. [doi]
@inproceedings{VercauterenVJL97,
title = {Derivation of Formal Representations from Process-Based Specification and Implementation Models},
author = {Steven Vercauteren and Diederik Verkest and Gjalt G. de Jong and Bill Lin},
year = {1997},
url = {http://computer.org/proceedings/isss/7949/79490016abs.htm},
tags = {rule-based, process modeling},
researchr = {https://researchr.org/publication/VercauterenVJL97},
cites = {0},
citedby = {0},
pages = {16},
booktitle = {ISSS},
}