Michael Poppleton, Richard Banach. Retrenchment: Extending Refinement for Continuous and Control Systems. In David Sinclair, J. Paul Gibson, editors, 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. Workshops in Computing, BCS, 2000. [doi]
@inproceedings{PoppletonB00,
title = {Retrenchment: Extending Refinement for Continuous and Control Systems},
author = {Michael Poppleton and Richard Banach},
year = {2000},
url = {http://ewic.bcs.org/conferences/2000/4thformal/papers/paper6.htm},
tags = {control systems, refinement},
researchr = {https://researchr.org/publication/PoppletonB00},
cites = {0},
citedby = {0},
booktitle = {4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000},
editor = {David Sinclair and J. Paul Gibson},
series = {Workshops in Computing},
publisher = {BCS},
}