Nir Piterman
AuthID: R-00H-A4D
1
TITLE: 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
AUTHORS: Nir Piterman; Scott A. Smolka;
PUBLISHED: 2013, SOURCE: TACAS, VOLUME: 7795
AUTHORS: Nir Piterman; Scott A. Smolka;
PUBLISHED: 2013, SOURCE: TACAS, VOLUME: 7795
INDEXED IN: 
DBLP
DBLP