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

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 3 (Software Engineering) [121510]