Julia Padberg, Magdalena Gajewsky, Claudia Ermel
Rule-Based Refinement of High-Level Nets Preserving Safety Properties
FASE, 1998.
@inproceedings{FASE-1998-PadbergGE,
author = "Julia Padberg and Magdalena Gajewsky and Claudia Ermel",
booktitle = "{Proceedings of the First International Conference on Fundamental Approaches to Software Engineering}",
doi = "10.1007/BFb0053593",
isbn = "3-540-64303-6",
pages = "221--238",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Rule-Based Refinement of High-Level Nets Preserving Safety Properties}",
volume = 1382,
year = 1998,
}