Browse by Journal
![]() | See full list of headings |
Jump to: R
Number of items: 1.
R
Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713
(2016)
Using multi-agent systems to go beyond temporal patterns verification.
ACM SIGLOG News, 3
(2)
.
pp. 69-77.
[Article]