Original language | English |
---|---|
Title of host publication | Proceedings Fourth Workshop on Foundations of Interface Technologies : Electronic Proceedings in Theoretical Computer Science. EPTCS. |
Volume | 87 |
Publication date | 2012 |
DOIs | |
Publication status | Published - 2012 |
Refinement for Transition Systems with Responses
Marco Carbone, Thomas Hildebrandt, Gian David Perrone, Andrzej Wasowski
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review