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.

10351 Executive Summary - Modelling, Controlling and Reasoning About State

Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann 0001. 10351 Executive Summary - Modelling, Controlling and Reasoning About State. In Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann 0001, editors, Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010. Volume 10351 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]

Authors

Amal Ahmed

This author has not been identified. Look up 'Amal Ahmed' in Google

Nick Benton

This author has not been identified. Look up 'Nick Benton' in Google

Lars Birkedal

This author has not been identified. Look up 'Lars Birkedal' in Google

Martin Hofmann 0001

This author has not been identified. Look up 'Martin Hofmann 0001' in Google
runs on