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.

OCL meets CTL: Towards CTL-Extended OCL Model Checking

Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl. OCL meets CTL: Towards CTL-Extended OCL Model Checking. In Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink, editors, Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013. Volume 1092 of CEUR Workshop Proceedings, pages 13-22, CEUR-WS.org, 2013. [doi]

Authors

Robert Bill

This author has not been identified. Look up 'Robert Bill' in Google

Sebastian Gabmeyer

This author has not been identified. Look up 'Sebastian Gabmeyer' in Google

Petra Kaufmann

This author has not been identified. Look up 'Petra Kaufmann' in Google

Martina Seidl

This author has not been identified. It may be one of the following persons: Look up 'Martina Seidl' in Google
runs on