내 프로필 만들기
공개 액세스
모두 보기자료 13개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & Informaticaou.nl의 이메일 확인됨
- Marjan SirjaniMälardalen Universitymdh.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 Cyprusucy.ac.cy의 이메일 확인됨
- Marcello BonsangueProfessor of Computer Science, Leiden Universityliacs.leidenuniv.nl의 이메일 확인됨
- Meng SunProfessor, School of Mathematical Science, Peking Universitymath.pku.edu.cn의 이메일 확인됨
- Christel BaierTU Dresdentu-dresden.de의 이메일 확인됨
- Ivan HermanCenter for Mathematics and Computer Science, CWIcwi.nl의 이메일 확인됨
- Jan RuttenCWIcwi.nl의 이메일 확인됨
- Dave ClarkeIndependentstorytel.com의 이메일 확인됨
- Alexander LazovikUniversity of Groningenrug.nl의 이메일 확인됨
- Jose ProencaCISTER - ISEPproenca.org의 이메일 확인됨
- Henderik A. ProperProfessor in Enterprise & Process Engineering at TU WIenacm.org의 이메일 확인됨
- Leendert (Leon) van der TorreProfessor of Computer Science, University of Luxembourguni.lu의 이메일 확인됨
- Kasper DokterPhD studentcwi.nl의 이메일 확인됨
- Eric MonfroyProfessor of Computer Science, Université de Nantesuniv-nantes.fr의 이메일 확인됨
- Pascal BouvryProfessor of Computer Science, University of Luxembourguni.lu의 이메일 확인됨
- Christian KrauseSAP SEsap.com의 이메일 확인됨
- Hamideh AfsarmaneshProfessor of Computer Science, University of Amsterdamuva.nl의 이메일 확인됨
- Mahdi SargolzaeiUniversity of Amsterdamuva.nl의 이메일 확인됨