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.

The Modal Transition System Control Problem

Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel. The Modal Transition System Control Problem. In Dimitra Giannakopoulou, Dominique Méry, editors, FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Volume 7436 of Lecture Notes in Computer Science, pages 155-170, Springer, 2012. [doi]

Authors

Nicolás D'Ippolito

This author has not been identified. Look up 'Nicolás D'Ippolito' in Google

Víctor A. Braberman

This author has not been identified. Look up 'Víctor A. Braberman' in Google

Nir Piterman

This author has not been identified. Look up 'Nir Piterman' in Google

Sebastián Uchitel

This author has not been identified. Look up 'Sebastián Uchitel' in Google
runs on