Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=173656544



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/173656544
Person Willemse, Tim A. C.
Akademischer Grad PhD
Andere Namen Willemse, Tim
Willemse, Timothy Ariën Carol
Zeit Lebensdaten: 1974-
Land Niederlande (XA-NL)
Beruf(e) Informatiker
Weitere Angaben Informatiker
geb. in Grubbenvorst, Diss. Eindhoven 2003
Beziehungen zu Organisationen Technische Hogeschool Eindhoven
Typ Person (piz)
Autor von 1 Publikation
  1. Off-the-shelf automated analysis of liveness properties for just paths
    Enthalten in Acta informatica Bd. 57, 6.5.2020, Nr. 3-5, date:10.2020: 551-590





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration