Tool support for formal system verification
Marcus Müller, Alexander Pacholik, Wolfgang Fengler · Common Library Network (Der Gemeinsame Bibliotheksverbund) · 2007
Diese Publikationen und alle in ihr enthaltenen Beiträge und Abbildungen sind urheberrechtlich geschützt.Mit Ausnahme der gesetzlich zugelassenen Fälle ist eine Verwertung ohne Einwilligung der Redaktion strafbar.