Skip to search boxSkip to navigationSkip to main content

Refinement for Transition Systems with Responses

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Host publication Subtitle

Electronic Proceedings in Theoretical Computer Science. EPTCS.

Original language

English

Publication milestones

  • Published - 2012

Publication status

Published - 2012

Volume

87

Publication IDs

  • Scopus: 84938587885

Host publication title

Proceedings Fourth Workshop on Foundations of Interface Technologies

Publication metrics

PlumX, opens in new tab

Captures
4
Citations
4

Access to documents