Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 257 | 67 |
h-index | 6 | 4 |
i10-index | 6 | 2 |
Acces public
Afișați-le pe toate2 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Adresă de e-mail confirmată pe kit.edu
- Dave ClarkeIndependentAdresă de e-mail confirmată pe storytel.com
- Peter Y. H. WongPreneticsAdresă de e-mail confirmată pe wolfson.oxon.org
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtAdresă de e-mail confirmată pe cs.tu-darmstadt.de
- Radu MuscheviciTU DarmstadtAdresă de e-mail confirmată pe cs.tu-darmstadt.de
- Stijn de GouwAssistant Professor, Open University, The NetherlandsAdresă de e-mail confirmată pe ou.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresă de e-mail confirmată pe cwi.nl
- Joost WinterUniversity of WarsawAdresă de e-mail confirmată pe mimuw.edu.pl