Nir Piterman
AuthID: R-00H-A4D
1
TÃTULO: Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
AUTORES: Nir Piterman; Scott A. Smolka;
PUBLICAÇÃO: 2013, FONTE: TACAS, VOLUME: 7795
AUTORES: Nir Piterman; Scott A. Smolka;
PUBLICAÇÃO: 2013, FONTE: TACAS, VOLUME: 7795
INDEXADO EM: 
DBLP
DBLP