自分のプロフィールを作成
オープン アクセス
すべて表示4 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NL確認したメール アドレス: uva.nl
- Jos Baeten確認したメール アドレス: cwi.nl
- Jörg EndrullisVU University Amsterdam確認したメール アドレス: endrullis.de
- Vincent van Oostrom確認したメール アドレス: javakade.nl
- Fer-Jan de VriesDepartment of Computer Science, University of Leicester確認したメール アドレス: mcs.le.ac.uk
- Zena AriolaUniversity of Oregon確認したメール アドレス: cs.uoregon.edu
- Dimitri HendriksVU University Amsterdam, Department of Computer Science確認したメール アドレス: vu.nl
- Henk BarendregtFaculty of Science, Radboud University確認したメール アドレス: ru.nl
- Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.確認したメール アドレス: cmp.uea.ac.uk
- Aart MiddeldorpUniversity of Innsbruck確認したメール アドレス: uibk.ac.at
- Ernst-Ruediger OlderogProfessor für Informatik, Universität Oldenburg確認したメール アドレス: informatik.uni-oldenburg.de
- Inge BethkeInformatics Institute, University of Amsterdam確認したメール アドレス: uva.nl
- Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-Saclay確認したメール アドレス: lix.polytechnique.fr
- Femke van RaamsdonkVU University Amsterdam確認したメール アドレス: vu.nl
- Krzysztof R. AptCWI fellow, CWI , The Netherlands確認したメール アドレス: cwi.nl
- John-Jules Meyeremeritus Utrecht University確認したメール アドレス: cs.uu.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.確認したメール アドレス: cwi.nl
- Catuscia PalamidessiInria確認したメール アドレス: lix.polytechnique.fr
- Detlef PlumpDepartment of Computer Science, University of York確認したメール アドレス: york.ac.uk
- Aleksi SaarelaAcademy Research Fellow, University of Turku確認したメール アドレス: utu.fi