Bücher nach ISBN

Helmut Veith

Helmut Voith · Helmuth Voith

Springer, Berlin

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
25 Years of Model Checking: History, Achievements, Perspectives978-3-540-69849-4
(3-540-69849-3)		2008Orna Grumberg

Helmut Veitshans