Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge Uni- versity Press (2007) ISBN 9780521875462

Jos C.M.Baeten, Ana Sokolova

Research output: Contribution to journalReview article

Translated title of the contributionLuca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge Uni- versity Press (2007) ISBN 9780521875462
Original languageEnglish
Pages (from-to)58
Number of pages1
JournalJournal of Logic and Algebraic Programming
Publication statusPublished - 2008

Bibliographical note

78 (1)

Fields of Science and Technology Classification 2012

  • 101 Mathematics
  • 102 Computer Sciences

Cite this