Arend Rensink, Heike Wehrheim. Dependency-Based Action Refinement. In Igor PrĂvara, Peter Ruzicka, editors, Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS 97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Volume 1295 of Lecture Notes in Computer Science, pages 468-477, Springer, 1997.
@inproceedings{RensinkW97, title = {Dependency-Based Action Refinement}, author = {Arend Rensink and Heike Wehrheim}, year = {1997}, tags = {rule-based, refinement}, researchr = {https://researchr.org/publication/RensinkW97}, cites = {0}, citedby = {0}, pages = {468-477}, booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS 97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, editor = {Igor PrĂvara and Peter Ruzicka}, volume = {1295}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63437-1}, }