Scorri Serie  THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES

Opzioni
Parti dalla lettera: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Risultati da 1 a 1 di 1
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2017 From model checking to a temporal proof for partial models Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D; Ghezzi, Carlo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati da 1 a 1 di 1
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile