![](/img/cover-not-exists.png)
Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken
Krause, Jan, Diedrich, ChristianVolume:
61
Language:
german
Journal:
at - Automatisierungstechnik
DOI:
10.1524/auto.2013.0013
Date:
February, 2013
File:
PDF, 661 KB
german, 2013