Retrenchment and Punctured Simulation

Richard Banach; Michael Poppleton; Keijiro Araki; Andy Galloway; Kenji Taguchi

Retrenchment and Punctured Simulation

Richard Banach, Michael Poppleton, Keijiro Araki (Editor), Andy Galloway (Editor), Kenji Taguchi (Editor)

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

Original language	English
Title of host publication	IFM
Editors	Keijiro Araki, Andy Galloway, Kenji Taguchi
Publisher	Springer Nature
Pages	457-476
Number of pages	20
ISBN (Print)	1-85233-107-0
Publication status	Published - 1999
Event	Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ifm/ifm1999.html#BanachP99http://dblp.uni-trier.de/rec/bibtex/conf/ifm/BanachP99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ifm/BanachP99

Conference

Conference	Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ifm/ifm1999.html#BanachP99http://dblp.uni-trier.de/rec/bibtex/conf/ifm/BanachP99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ifm/BanachP99

Access to Document

Cite this

@inproceedings{96f22268d0ad4d5f93af199c712bee22,

title = "Retrenchment and Punctured Simulation",

author = "Richard Banach and Michael Poppleton and Keijiro Araki and Andy Galloway and Kenji Taguchi",

year = "1999",

language = "English",

isbn = "1-85233-107-0",

pages = "457--476",

editor = "Keijiro Araki and Andy Galloway and Kenji Taguchi",

booktitle = "IFM",

publisher = "Springer Nature",

address = "United States",

note = "Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ifm/ifm1999.html#BanachP99http://dblp.uni-trier.de/rec/bibtex/conf/ifm/BanachP99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ifm/BanachP99",

}

Banach, R, Poppleton, M, Araki, K (ed.), Galloway, A (ed.) & Taguchi, K (ed.) 1999, Retrenchment and Punctured Simulation. in K Araki, A Galloway & K Taguchi (eds), IFM. Springer Nature, pp. 457-476, Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, 1/01/24. <http://dblp.uni-trier.de/db/conf/ifm/ifm1999.html#BanachP99>

TY - GEN

T1 - Retrenchment and Punctured Simulation

AU - Banach, Richard

AU - Poppleton, Michael

A2 - Araki, Keijiro

A2 - Galloway, Andy

A2 - Taguchi, Kenji

A2 - Araki, Keijiro

A2 - Galloway, Andy

A2 - Taguchi, Kenji

PY - 1999

Y1 - 1999

M3 - Conference contribution

SN - 1-85233-107-0

SP - 457

EP - 476

BT - IFM

PB - Springer Nature

T2 - Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999

Y2 - 1 January 1824

ER -