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.

Omega Algebra, Demonic Refinement Algebra and Commands

Peter Höfner, Bernhard Möller, Kim Solin. Omega Algebra, Demonic Refinement Algebra and Commands. In Renate A. Schmidt, editor, Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proce. Volume 4136 of Lecture Notes in Computer Science, pages 222-234, Springer, 2006. [doi]

Authors

Peter Höfner

This author has not been identified. Look up 'Peter Höfner' in Google

Bernhard Möller

This author has not been identified. Look up 'Bernhard Möller' in Google

Kim Solin

This author has not been identified. Look up 'Kim Solin' in Google
runs on