建立我自己的個人學術檔案
公開取用
查看全部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 的電子郵件地址已通過驗證