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

von Ingo Schäfer Taschenbuch Details (Deutschland) ISBN: 978-3-86624-279-1 ISBN-10: 3-86624-279-4 Winter Industries · 2007