Veith, Helmut
Veith, Helmut 1971-2016
Helmut Veith informaticien autrichien
VIAF ID: 21676994 ( Personal )
Permalink: http://viaf.org/viaf/21676994
Preferred Forms
- 100 0 _ ‡a Helmut Veith ‡c informaticien autrichien
-
- 100 1 _ ‡a Veith, Helmut
- 100 1 _ ‡a Veith, Helmut
-
- 100 1 _ ‡a Veith, Helmut
-
-
-
- 100 1 _ ‡a Veith, Helmut ‡d 1971-2016
- 100 1 _ ‡a Veith, Helmut ‡d 1971-2016
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings | |
Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings | |
Handbook of Model Checking | |
Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings | |
Messungen der anisotropen Eindringtiefe an YBa2Cu3O7-y-Einkristallen und Charakterisierung von YBa2Cu3O7-y-RF-Sinter-SQUIDs |