Refinement for Transition Systems with Responses

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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
Eksternt udgivet	Ja

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

ID: 227990326

Datalogisk Institut