From Trusted Annotations to Verified Knowledge - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan. From Trusted Annotations to Verified Knowledge. In Niklas Holsti, editor, 9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009. Volume 09004 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]

This author has not been identified. Look up 'Adrian Prantl' in GoogleThis author has not been identified. It may be one of the following persons:

Jens Knoop

Look up 'Jens Knoop' in GoogleThis author has not been identified. Look up 'Raimund Kirner' in GoogleThis author has not been identified. Look up 'Albrecht Kadlec' in GoogleThis author has not been identified. Look up 'Markus Schordan' in Google

runs on WebDSL