Abstraktionsverfahren zur Eigenschaftsprüfung mit Bounded Model Checking

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