Martin Schweikert

M S. · Martin-S

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Spezifikation und Generierung von Zeitlich-Logischen Eigenschaftssätzen aus Sequenzdiagrammen978-3-86624-571-6
(3-86624-571-8)
2012

Martin Schweizer