Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: nid=17409566X



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/17409566X
Person Alur, Rajeev
Akademischer Grad Dr.
Geschlecht männlich
Andere Namen Alur, R.
Zeit Lebensdaten: 1966-
Land USA (XD-US); Indien (XB-IN)
Geografischer Bezug Wirkungsort: Philadelphia, Pa.
Beruf(e) Informatiker
Hochschullehrer
Weitere Angaben Zisman Family Professor of Computer and Information Science und Direktor des Embedded Systems Master's Program an der University of Pennsylvania; Bachelor (1987), Indian Institute of Technology at Kanpur, India, und PhD in computer science (1991), Stanford University, California, USA
Beziehungen zu Organisationen University of Pennsylvania
Typ Person (piz)
Autor von 1 Publikation
  1. Real-time system = discrete system + clock variables
    Enthalten in International journal on software tools for technology transfer Bd. 1, 27.2.2014, Nr. 1-2, date:12.1997: 86-109
Beteiligt an 7 Publikationen
  1. Computer aided verification
    Berlin : Springer, 2004
  2. Computer Aided Verification
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration