Languages
Jump To : Overview | Titles | Subjects

Piterman, Nir.

Overview
Works: 0 works in 2 publications in 1 languages
Titles
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 / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Smolka, Scott A.; Piterman, Nir.; SpringerLink (Online service) (Language materials, printed)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: SpringerLink (Online service); Piterman, Nir.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Hardware and Software: Verification and Testing = 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / by: Piterman, Nir.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login