Media type: E-Book; Report Title: Event model decomposition Contributor: Abrial, Jean-Raymond [Author] imprint: ETH, Department of Computer Science, 2009 Published in: Technical report / [ETH, Department of Computer Science, 626 Language: English DOI: https://doi.org/20.500.11850/69255; https://doi.org/10.3929/ethz-a-006814915 Keywords: computer science ; Data processing Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted