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.

No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL

Martin Fränzle, Michael R. Hansen, Heinrich Ody. No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. In Roland Meyer, André Platzer, Heike Wehrheim, editors, Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Volume 9360 of Lecture Notes in Computer Science, pages 152-171, Springer, 2015. [doi]

Authors

Martin Fränzle

This author has not been identified. Look up 'Martin Fränzle' in Google

Michael R. Hansen

This author has not been identified. Look up 'Michael R. Hansen' in Google

Heinrich Ody

This author has not been identified. Look up 'Heinrich Ody' in Google
runs on