Nested Event Representation for Automated Assembly of Cell Signaling Network Models

von Becker, Evan W.
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)