DMCA

DECIDABILITY OF THE INTERVAL TEMPORAL LOGIC ABB OVER THE NATURAL NUMBERS (2010)

by Angelo Montanari, et al.
Citations:3 - 3 self