建立我自己的個人學術檔案
公開取用
查看全部1 篇文章
1 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Orna GrumbergProfessor of Computer Science, Technion在 cs.technion.ac.il 的電子郵件地址已通過驗證
- Dragan Bosnackiassistant professor, Eindhoven University of Technology在 tue.nl 的電子郵件地址已通過驗證
- Michael CodishDepartment of Computer Science, Ben-Gurion University of the Negev在 cs.bgu.ac.il 的電子郵件地址已通過驗證
- Natalia SidorovaTechnische Universiteit Eindhoven在 tue.nl 的電子郵件地址已通過驗證
- Marc GeilenEindhoven University of Technology在 tue.nl 的電子郵件地址已通過驗證
- Gerard HolzmannNimble Research在 nimbleresearch.com 的電子郵件地址已通過驗證
- Maurice BruynoogheProfessor Em. of Computer Science, KULeuven在 cs.kuleuven.be 的電子郵件地址已通過驗證
- Ana CavalcantiUniversity of York在 cs.york.ac.uk 的電子郵件地址已通過驗證
- Stefan LeueProfessor of Computer Science, University of Konstanz, Germany在 uni-konstanz.de 的電子郵件地址已通過驗證
- Ruurd Kuiper在 tue.nl 的電子郵件地址已通過驗證
- Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of Technology在 tue.nl 的電子郵件地址已通過驗證
- Clark BarrettStanford University在 cs.stanford.edu 的電子郵件地址已通過驗證
- Richard HullVisiting Scholar, University of California, Davis在 ucdavis.edu 的電子郵件地址已通過驗證
- Dieter HutterGerman Research Center for Artificial Intelligence在 dfki.de 的電子郵件地址已通過驗證
- Mieke MassinkCNR-ISTI在 isti.cnr.it 的電子郵件地址已通過驗證
- Jeroen VoetenProfessor Electronic Systems, Eindhoven University of Technology在 tue.nl 的電子郵件地址已通過驗證
- Alfred AhoLawrence Gussman Professor of Computer Science, Columbia University在 cs.columbia.edu 的電子郵件地址已通過驗證
- Lakhnech, YassineUnversity of Grenoble, CNRS, Verimag
- John RushbySRI International在 csl.sri.com 的電子郵件地址已通過驗證