External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synthesizing manually verifiable code for statecharts

Steven Smyth, Christian Motika, Reinhard von Hanxleden. Synthesizing manually verifiable code for statecharts. In Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek, Francisco Sant'Anna, editors, Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018. pages 1-10, ACM, 2018. [doi]

Authors

Steven Smyth

This author has not been identified. Look up 'Steven Smyth' in Google

Christian Motika

This author has not been identified. Look up 'Christian Motika' in Google

Reinhard von Hanxleden

This author has not been identified. Look up 'Reinhard von Hanxleden' in Google
runs on