Založit si vlastní profil
Veřejný přístup
Zobrazit všechny4 články
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETE-mailová adresa ověřena na: famaf.unc.edu.ar
- Daniel GeblerVU University AmsterdamE-mailová adresa ověřena na: vu.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaE-mailová adresa ověřena na: cs.unibo.it
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Pierre L'EcuyerProfessor, DIRO, University of MontrealE-mailová adresa ověřena na: iro.umontreal.ca
- Gerardo RubinoInria/IrisaE-mailová adresa ověřena na: inria.fr
- Bruno TuffinInriaE-mailová adresa ověřena na: inria.fr
- Héctor CancelaUniversidad de la RepublicaE-mailová adresa ověřena na: fing.edu.uy
- Martin SteffenUniversity of OsloE-mailová adresa ověřena na: ifi.uio.no
- Raúl E. MontiUniversity of TwenteE-mailová adresa ověřena na: utwente.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyE-mailová adresa ověřena na: win.tue.nl
- Jurriaan RotRadboud UniversityE-mailová adresa ověřena na: cs.ru.nl
- Filippo BonchiCNRS ENS-LyonE-mailová adresa ověřena na: ens-lyon.fr
- Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyE-mailová adresa ověřena na: tue.nl