Maschinelle Verifikation von parametrisierten Echtzeitsystemen

Thomas Göthel. Maschinelle Verifikation von parametrisierten Echtzeitsystemen. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2012. Volume D-13 of LNI, pages 121-130, GI, 2012.

Abstract

Abstract is missing.