|
[ 07 |06 |06 ]
出版物Toni Jussila
T.Jussila、A.Biere、C.Sinz、D.Kröning、C.Wintersteiger。QBF统一验证器的第一步在程序。第十届国际会议。论理论与应用满意度测试（SAT'07）,计算机讲义科学（LNCS）第4501卷，Springer 2007。
T.Jussila，A.Biere。压缩BMCQBF编码.英寸程序。第四国际有界模型检验研讨会（BMC’06），将成为发布于电子理论计算机科学（ENTCS）笔记，美国西雅图，2006年8月。
T.Jussila、C.Sinz、A.Biere。符号的扩展分辨率证明SAT量化求解.英寸程序。第9名国际协调。可满足性的理论与应用测试（SAT'06）,计算机讲义科学（LNCS）第4121卷，Springer 2006。
T.Jussila、J.Dubrovin、T.Junttila、T.Latvala、I.Porres模型检查动态和分层UML状态机在程序。第三模型开发、验证和验证（MoDeV2a）pages，94-110，意大利热那亚，十月2006
|
