ITU

Refinement for Transition Systems with Responses

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

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: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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{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",

}

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 -

ID: 37314870