Piterman, Nir
Piterman, Nir, 19..-
Nir Piterman researcher
VIAF ID: 306106470 ( Personal )
Permalink: http://viaf.org/viaf/306106470
Preferred Forms
- 100 0 _ ‡a Nir Piterman ‡c researcher
- 100 1 _ ‡a Piterman, Nir
-
- 100 1 _ ‡a Piterman, Nir
-
- 100 1 _ ‡a Piterman, Nir
-
-
- 100 1 _ ‡a Piterman, Nir, ‡d 19..-
4xx's: Alternate Name Forms (1)
5xx's: Related Names (4)
- 510 2 _ ‡a Imperial College London
- 510 2 _ ‡a Imperial College of Science, Technology and Medicine ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of Leicester
- 510 2 _ ‡a University of Leicester ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
ETAPS 2013 | |
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings | |
Les jeux stochastiques et leurs complexités. | |
Stochastic games and their complexities | |
TACAS 2013 | |
Theory and practice of software | |
Tools and algorithms for the construction and analysis of systems, 2013: |