External Links

Cite Key

Statistics

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

PDF

Tags

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.

Past- and Future-Oriented Time-Bounded Temporal Properties with OCL

Stephan Flake, Wolfgang Müller 0003. Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. In 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China. pages 154-163, IEEE Computer Society, 2004. [doi]

Authors

Stephan Flake

This author has not been identified. Look up 'Stephan Flake' in Google

Wolfgang Müller 0003

This author has not been identified. Look up 'Wolfgang Müller 0003' in Google
runs on