Browse by Journal
![]() | See full list of headings |
Jump to: K
Number of items: 1.
K
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488
(2014)
Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013.
MathSciNet: Mathematical Reviews
.
ISSN 2167-5163
[Article]