Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 1 di 1
Titolo Data di pubblicazione Autore(i) File
Formal Verification of Infinite-State BIP Models 1-gen-2015 Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
Mostrati 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