Translated title of the contribution | Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge Uni- versity Press (2007) ISBN 9780521875462 |
---|---|
Original language | English |
Pages (from-to) | 58 |
Number of pages | 1 |
Journal | Journal of Logic and Algebraic Programming |
Publication status | Published - 2008 |
Bibliographical note
78 (1)Fields of Science and Technology Classification 2012
- 101 Mathematics
- 102 Computer Sciences