ITU

Refinement for Transition Systems with Responses

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

View graph of relations

Original languageEnglish
Title of host publicationProceedings Fourth Workshop on Foundations of Interface Technologies : Electronic Proceedings in Theoretical Computer Science. EPTCS.
Volume87
Publication date2012
DOIs
Publication statusPublished - 2012

ID: 37314870