Julia Padberg, Magdalena Gajewsky, Claudia Ermel. Rule-based refinement of high-level nets preserving safety properties. Science of Computer Programming, 40(1):97-118, 2001.
@article{PadbergGE01,
title = {Rule-based refinement of high-level nets preserving safety properties},
author = {Julia Padberg and Magdalena Gajewsky and Claudia Ermel},
year = {2001},
tags = {rules, refinement, rule-based},
researchr = {http://researchr.org/publication/PadbergGE01},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {40},
number = {1},
pages = {97-118},
}