[ 出版物 |文件 |办公室 |地址 ]

Tom van Dijk博士

自2016年8月起，Tom van Dijk博士在伊库具有Armin Biere教授在内部国家研究网络严格系统工程（RiSE）.

外部页面上的其他信息：网址：http://www.tvandijk.nl.

出版物

最佳论文
Wytse Oortwijn、Tom van Dijk和Jaco van de Pol。分布式符号可达性的二进制决策图.英寸自旋蛋白2017，第21-30页，ACM 2017。
[纸张|围巾|内政部]

Tom van Dijk、Robert Wille和Robert Meolic。已标记BDD：组合不同决策图中的约简规则类型。输入：2017年FMCAD，第108-115页，IEEE 2017。
[纸张|围巾|内政部]

办公室

第二科技园3（SCP3）地板
S3 0257室

地址

形式模型与验证研究所
约翰开普勒大学
阿尔滕贝格斯特。 69
4040林茨
奥地利