Logic formulas in models

Berlin [u.a.] / Springer (2017) [Fachzeitschriftenartikel]

Software and systems modeling
Band: 16
Ausgabe: 3
Seite(n): 625-626

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Gray, Jeff
Rumpe, Bernhard

Identifikationsnummern