搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Esko Nuutila
DOI:
关键词:
摘要:
,2008, 引用: 0
international semantic web conference,2011, 引用: 3
,2008, 引用: 18
Technical Report Series TUD-SERG-2008-043,2008, 引用: 10
Science of Computer Programming,2015, 引用: 6
,2009, 引用: 0
software language engineering,2009, 引用: 20
arXiv: Quantum Physics,2006, 引用: 7
verification model checking and abstract interpretation,2002, 引用: 8
,2011, 引用: 1
acm.org