Reactive Systems: Modelling, Specification and Verification

Authors of the Book

To contact the authors, send an email to rsbook (at) cs.aau.dk.