Logic formulas in models

Berlin / Springer (2017) [Fachzeitschriftenartikel]

Software and systems modeling
Volume: 16
Issue: 3
Page(s): 625 - 626

Authors

Selected Authors

Gray, Jeff
Rumpe, Bernhard

Identifier