The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
Mordechai Ben-Menachem
Search publications for: doi:10.1145/1811226.1811243 1 result
Reactive Systems: Modelling, Specification and Verification; is written by L. Aceto, et al; and published by Cambridge University Press; distributed by Cambridge University Press; © 2007, (hardback), ISBN 978-0-521-87546-2, pp. 300
Mordechai Ben-Menachem