自分のプロフィールを作成
オープン アクセス
すべて表示4 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICET確認したメール アドレス: famaf.unc.edu.ar
- Daniel GeblerVU University Amsterdam確認したメール アドレス: vu.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of Bologna確認したメール アドレス: cs.unibo.it
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.確認したメール アドレス: cwi.nl
- Pierre L'EcuyerProfessor, DIRO, University of Montreal確認したメール アドレス: iro.umontreal.ca
- Gerardo RubinoInria/Irisa確認したメール アドレス: inria.fr
- Bruno TuffinInria確認したメール アドレス: inria.fr
- Héctor CancelaUniversidad de la Republica確認したメール アドレス: fing.edu.uy
- Martin SteffenUniversity of Oslo確認したメール アドレス: ifi.uio.no
- Raúl E. MontiUniversity of Twente確認したメール アドレス: utwente.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of Technology確認したメール アドレス: win.tue.nl
- Jurriaan RotRadboud University確認したメール アドレス: cs.ru.nl
- Filippo BonchiCNRS ENS-Lyon確認したメール アドレス: ens-lyon.fr
- Bas LuttikAssociate Professor of Computer Science, Eindhoven University of Technology確認したメール アドレス: tue.nl