Jos C. M. Baeten, Ana Sokolova. Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. Journal of Logic and Algebraic Programming, 78(1):52, 2008. [doi]
@article{BaetenS08,
title = {Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462},
author = {Jos C. M. Baeten and Ana Sokolova},
year = {2008},
doi = {10.1016/j.jlap.2008.04.001},
url = {http://dx.doi.org/10.1016/j.jlap.2008.04.001},
tags = {C++},
researchr = {https://researchr.org/publication/BaetenS08},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {78},
number = {1},
pages = {52},
}