下一代并发的组合验证方法(Dagstuhl研讨会15191)

拉尔斯·比克达尔,德里克·德雷尔,菲利普·加德纳,钟绍.下一代并发的组合验证方法(Dagstuhl研讨会15191).达格斯图尔报告, 5(5):1-23,2015 [美国国防部]

摘要

缺少摘要。