Wang, Qiang

Wang, Qiang  

ES  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 secondi).
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