Refinement for Transition Systems with Responses

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

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

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

Cite this