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.

Applying Software Model Checking Techniques for Behavioral UML Models

Orna Grumberg, Yael Meller, Karen Yorav. Applying Software Model Checking Techniques for Behavioral UML Models. 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 277-292, Springer, 2012. [doi]

Authors

Orna Grumberg

This author has not been identified. Look up 'Orna Grumberg' in Google

Yael Meller

This author has not been identified. Look up 'Yael Meller' in Google

Karen Yorav

This author has not been identified. Look up 'Karen Yorav' in Google
runs on