Richiedi una copia del documento: Complexity of ITL model checking: some well-behaved fragments of the interval logic HS

Captcha code
Annulla