by Esparza, Javier | Spanfelner, Bernd | Grumberg, Orna | Technische Universitat Munchen (Germany) | TECHNION. Israel Institute of Technology (Israel) | ProQuest (Firm).
by Maxwell, Dan | Schubert, Klaus | ProQuest (Firm).