Refinement for Transition Systems with Responses

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

doi:10.4204/EPTCS.87.5

Refinement for Transition Systems with Responses

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

Programming Logic and Semantics

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings Fourth Workshop on Foundations of Interface Technologies : Electronic Proceedings in Theoretical Computer Science. EPTCS.
Vol/bind	87
Publikationsdato	2012
DOI	https://doi.org/10.4204/EPTCS.87.5
Status	Udgivet - 2012

Adgang til dokumentet

10.4204/EPTCS.87.5

MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Projekter: Projekt › Forskning

Citationsformater

@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 = "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.. Bind 87 2012.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 - 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 -

Refinement for Transition Systems with Responses

Adgang til dokumentet

Projekter

MT-Lab - Modelling of Information Technology

Citationsformater