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.

Revisiting modal interface automata

Ivo Krka, Nenad Medvidovic. Revisiting modal interface automata. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 30-36, IEEE, 2012. [doi]

Authors

Ivo Krka

This author has not been identified. Look up 'Ivo Krka' in Google

Nenad Medvidovic

This author has not been identified. Look up 'Nenad Medvidovic' in Google
runs on