以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- 求助!(Model checking方面的一篇经典文献) (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=49447) |
-- 作者:buchiautomata -- 发布时间:7/5/2007 12:15:00 PM -- 求助!(Model checking方面的一篇经典文献) 求助! 哪位有buchi automata的经典原始论文?1960年的那篇.各位能否帮忙?谢谢,我的邮箱:buchiautomata@yahoo.com.cn Buchi.J.R: On a decision method in restricted second order arithmetic. Proc. Internat. Congr. Logic, Method. and Philos. Sci. 1960, Stanford Univ. Press, 1962. |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |