Invariantengenerierung für die Verifikation von System-on-Chip Protokollimplementierungen (Dissertation Premium)

von Max Thalmaier Taschenbuch Details (Deutschland) ISBN-13: 978-3-86624-542-6 ISBN-10: 3-86624-542-4 Winter Industries · 2011