Abstraktionsverfahren zur Eigenschaftsprüfung mit Bounded Model Checking (Dissertation Classic)

Eigenschaftspruefung

von Ingo Schäfer

Taschenbuch

ISBN: 978-3-86624-279-1

ISBN-10: 3-86624-279-4

Winter Industries · 2007