Richiedi una copia del documento: Interval vs. point temporal logic model checking: An expressiveness comparison
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