Richiedi una copia del documento: Complexity analysis of a unifying algorithm for model checking interval temporal logic
N.B. La richiesta agli autori dei file delle pubblicazioni tramite ArTS è finalizzata esclusivamente per scopi di ricerca scientifica. La prenotazione dei libri di testo va effettuata presso la propria biblioteca di riferimento. Maggiori informazioni sulla prenotazione dei libri sono disponibili sul sito del Sistema Bibliotecario di Ateneo .

Captcha code
Annulla