Refinement for Transition Systems with Responses

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

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

3 Citations (Scopus)

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
Externally published	Yes

Access to Document

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: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

@inproceedings{f674870ce5a84cdabe2c091565ec961a,

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 = "10.4204/EPTCS.87.5",

language = "English",

volume = "87",

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

}

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 - 10.4204/EPTCS.87.5

DO - 10.4204/EPTCS.87.5

M3 - Article in proceedings

VL - 87

BT - Proceedings Fourth Workshop on Foundations of Interface Technologies

ER -