Retrenchment: Extending Refinement for Continuous and Control Systems

Michael Poppleton; Richard Banach; David Sinclair; J Paul Gibson

Retrenchment: Extending Refinement for Continuous and Control Systems

Michael Poppleton, Richard Banach, David Sinclair (Editor), J Paul Gibson (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	IWFM
Editors	David Sinclair, J Paul Gibson
Publisher	British Computer Society
Publication status	Published - 2000
Event	4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/iwfm/iwfm2000.html#PoppletonB00http://dblp.uni-trier.de/rec/bibtex/conf/iwfm/PoppletonB00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/iwfm/PoppletonB00

Publication series

Name	Workshops in Computing

Conference

Conference	4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/iwfm/iwfm2000.html#PoppletonB00http://dblp.uni-trier.de/rec/bibtex/conf/iwfm/PoppletonB00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/iwfm/PoppletonB00

Access to Document

Cite this

@inproceedings{0b2f8b0190d6415285806a34c6bbc950,

title = "Retrenchment: Extending Refinement for Continuous and Control Systems",

author = "Michael Poppleton and Richard Banach and David Sinclair and Gibson, {J Paul}",

year = "2000",

language = "English",

series = "Workshops in Computing",

publisher = "British Computer Society",

editor = "David Sinclair and Gibson, {J Paul}",

booktitle = "IWFM",

address = "United Kingdom",

note = "4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/iwfm/iwfm2000.html#PoppletonB00http://dblp.uni-trier.de/rec/bibtex/conf/iwfm/PoppletonB00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/iwfm/PoppletonB00",

}

Poppleton, M, Banach, R, Sinclair, D (ed.) & Gibson, JP (ed.) 2000, Retrenchment: Extending Refinement for Continuous and Control Systems. in D Sinclair & JP Gibson (eds), IWFM. Workshops in Computing, British Computer Society, 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000, 1/01/24. <http://dblp.uni-trier.de/db/conf/iwfm/iwfm2000.html#PoppletonB00>

TY - GEN

T1 - Retrenchment: Extending Refinement for Continuous and Control Systems

AU - Poppleton, Michael

AU - Banach, Richard

A2 - Sinclair, David

A2 - Gibson, J Paul

A2 - Sinclair, David

A2 - Gibson, J Paul

PY - 2000

Y1 - 2000

M3 - Conference contribution

T3 - Workshops in Computing

BT - IWFM

PB - British Computer Society

T2 - 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000

Y2 - 1 January 1824

ER -