Refinement for Transition Systems with Responses

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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
Externally publishedYes

ID: 227990326