• 已选条件：
 全选  【符合条件的数据共：3条】

1 Shape Analysis via Monotonic Abstraction [会议论文]

作者:Parosh Aziz Abdulla1, Ahmed Bouajjani2, Jonathan Cederberg1

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：5  ]    

2 Beyond the finite: new challenges in verification and semistructured data [会议论文]

作者:Dagstuhl seminar 08171

会议时间:

预览  |  原文链接  |  全文  [ 浏览：4 下载：5  ]    

3 Beyond the Finite: New Challenges in Verication and Semistructured Data [会议论文]

作者:Dagstuhl Seminar

会议时间:

预览  |  原文链接  |  全文  [ 浏览：4 下载：6  ]