Logic formulas in models

Gray, Jeff; Rumpe, Bernhard (Corresponding author)

Berlin [u.a.] : Springer (2017)
Journal Article

In: Software and systems modeling
Volume: 16
Issue: 3
Page(s)/Article-Nr.: 625-626

Identifier