Standard
Refinement for Transition Systems with Responses. / Carbone, Marco; Hildebrandt, Thomas; Perrone, Gian David; Wasowski, Andrzej.
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
Harvard
Carbone, M
, Hildebrandt, T, Perrone, GD & Wasowski, A 2012,
Refinement for Transition Systems with Responses. in
Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. vol. 87.
https://doi.org/10.4204/EPTCS.87.5
APA
Carbone, M.
, Hildebrandt, T., Perrone, G. D., & Wasowski, A. (2012).
Refinement for Transition Systems with Responses. In
Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS. (Vol. 87)
https://doi.org/10.4204/EPTCS.87.5
Vancouver
Carbone M
, Hildebrandt T, Perrone GD, Wasowski A.
Refinement for Transition Systems with Responses. In Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87. 2012
https://doi.org/10.4204/EPTCS.87.5
Author
Carbone, Marco ; Hildebrandt, Thomas ; Perrone, Gian David ; Wasowski, Andrzej. / Refinement for Transition Systems with Responses. Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87 2012.
Bibtex
@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 = "http://dx.doi.org/10.4204/EPTCS.87.5",
language = "English",
volume = "87",
booktitle = "Proceedings Fourth Workshop on Foundations of Interface Technologies",
}
RIS
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 -