自分のプロフィールを作成
オープン アクセス
すべて表示13 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & Informatica確認したメール アドレス: ou.nl
- Marjan SirjaniMälardalen University確認したメール アドレス: mdh.se
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.確認したメール アドレス: cwi.nl
- George Α. PapadopoulosProfessor of Software Engineering, Department of Computer Science, University of Cyprus確認したメール アドレス: ucy.ac.cy
- Marcello BonsangueProfessor of Computer Science, Leiden University確認したメール アドレス: liacs.leidenuniv.nl
- Meng SunProfessor, School of Mathematical Science, Peking University確認したメール アドレス: math.pku.edu.cn
- Christel BaierTU Dresden確認したメール アドレス: tu-dresden.de
- Ivan HermanCenter for Mathematics and Computer Science, CWI確認したメール アドレス: cwi.nl
- Jan RuttenCWI確認したメール アドレス: cwi.nl
- Dave ClarkeIndependent確認したメール アドレス: storytel.com
- Alexander LazovikUniversity of Groningen確認したメール アドレス: rug.nl
- Jose ProencaCISTER - ISEP確認したメール アドレス: proenca.org
- Henderik A. ProperProfessor in Enterprise & Process Engineering at TU WIen確認したメール アドレス: acm.org
- Leendert (Leon) van der TorreProfessor of Computer Science, University of Luxembourg確認したメール アドレス: uni.lu
- Kasper DokterPhD student確認したメール アドレス: cwi.nl
- Eric MonfroyProfessor of Computer Science, Université de Nantes確認したメール アドレス: univ-nantes.fr
- Pascal BouvryProfessor of Computer Science, University of Luxembourg確認したメール アドレス: uni.lu
- Christian KrauseSAP SE確認したメール アドレス: sap.com
- Hamideh AfsarmaneshProfessor of Computer Science, University of Amsterdam確認したメール アドレス: uva.nl
- Mahdi SargolzaeiUniversity of Amsterdam確認したメール アドレス: uva.nl