Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen (Dissertation Classic)

von Tobias Dornes Taschenbuch Details (Deutschland) ISBN-13: 978-3-86624-573-0 ISBN-10: 3-86624-573-4 Winter Industries · 2012