Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 258 | 68 |
Índice h | 6 | 4 |
Índice i10 | 6 | 2 |
Acceso público
Ver todo2 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Dirección de correo verificada de kit.edu
- Dave ClarkeIndependentDirección de correo verificada de storytel.com
- Peter Y. H. WongPreneticsDirección de correo verificada de wolfson.oxon.org
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtDirección de correo verificada de cs.tu-darmstadt.de
- Radu MuscheviciTU DarmstadtDirección de correo verificada de cs.tu-darmstadt.de
- Stijn de GouwAssistant Professor, Open University, The NetherlandsDirección de correo verificada de ou.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Dirección de correo verificada de cwi.nl
- Joost WinterUniversity of WarsawDirección de correo verificada de mimuw.edu.pl