Model Stack for the Pervasive Verification of a Microkernel-based Operating System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Daum, Jan Dörrenbächer, Sebastian Bogan. Model Stack for the Pervasive Verification of a Microkernel-based Operating System. In Bernhard Beckert, Gerwin Klein, editors, Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. Volume 372 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

This author has not been identified. Look up 'Matthias Daum' in GoogleThis author has not been identified. Look up 'Jan Dörrenbächer' in GoogleThis author has not been identified. Look up 'Sebastian Bogan' in Google

runs on WebDSL