Book review: Reactive Systems: Modelling, Specification and Verification

J.C.M. Baeten, A. Sokolova

Research output: Contribution to journal › Book review › Professional

Original language	English
Pages (from-to)	52-
Journal	Journal of Logic and Algebraic Programming
Volume	78
DOIs	https://doi.org/10.1016/j.jlap.2008.04.001
Publication status	Published - 2008

Access to Document

@article{8f7d01453abb4320affece4086500e6f,

title = "Book review: Reactive Systems: Modelling, Specification and Verification",

author = "J.C.M. Baeten and A. Sokolova",

year = "2008",

doi = "10.1016/j.jlap.2008.04.001",

language = "English",

volume = "78",

pages = "52--",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

publisher = "Elsevier",

}