Refinement for Transition Systems with Responses

Marco Carbone; Thomas Hildebrandt; Gian David Perrone; Andrzej Wasowski

doi:http://dx.doi.org/10.4204/EPTCS.87.5

Refinement for Transition Systems with Responses

Marco Carbone, Thomas Hildebrandt, Gian David Perrone, Andrzej Wasowski

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings Fourth Workshop on Foundations of Interface Technologies : Electronic Proceedings in Theoretical Computer Science. EPTCS.
Volume	87
Publication date	2012
DOIs	https://doi.org/10.4204/EPTCS.87.5
Publication status	Published - 2012

Access to Document

http://dx.doi.org/10.4204/EPTCS.87.5

Cite this

@inproceedings{29aa3648dc154e7393bd7395569e6be9,

title = "Refinement for Transition Systems with Responses",

author = "Marco Carbone and Thomas Hildebrandt and Perrone, {Gian David} and Andrzej Wasowski",

note = "Verificeret i DBLP http://www.informatik.uni-trier.de/~ley/db/series/eptcs/index.html",

year = "2012",

doi = "http://dx.doi.org/10.4204/EPTCS.87.5",

language = "English",

volume = "87",

booktitle = "Proceedings Fourth Workshop on Foundations of Interface Technologies",

}

Refinement for Transition Systems with Responses. / Carbone, Marco; Hildebrandt, Thomas; Perrone, Gian David et al.
Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87 2012.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Refinement for Transition Systems with Responses

AU - Carbone, Marco

AU - Hildebrandt, Thomas

AU - Perrone, Gian David

AU - Wasowski, Andrzej

N1 - Verificeret i DBLP http://www.informatik.uni-trier.de/~ley/db/series/eptcs/index.html

PY - 2012

Y1 - 2012

U2 - http://dx.doi.org/10.4204/EPTCS.87.5

DO - http://dx.doi.org/10.4204/EPTCS.87.5

M3 - Article in proceedings

VL - 87

BT - Proceedings Fourth Workshop on Foundations of Interface Technologies

ER -