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.
L. Molnar, S. M. Veres
Search publications for: doi:10.23919/ECC.2009.7074579 1 result
Verification of autonomous underwater vehicles using formal logic
L. Molnar, S. M. Veres