“在有限状态的自动验证中利用转换局部性…”
朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
在有限状态并发系统的自动验证中利用转换局部性。 Int.J.软件。 技术工具。 Transf公司。 6 ( 4 ) : 320-341 ( 2004 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.org/img/cog.dark.24x24.png)