Author:
Nitta Naoya,Seki Hiroyuki
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
2. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
3. Coquidé, J.L., Dauchet, M., Gilleron, R., Vágv”olgyi, S.: Bottom-up tree pushdown automata: classification and connection with rewrite systems. Theoretical Computer Science 127, 69–98 (1994)
4. Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Păsăreanu, C.S., Robby, J., Zheng, H.: Bandera: Extracting finite-state models from Java source code, Int’l Conf. on Software Engineering, pp. 439–448 (2000)
5. Lecture Notes in Computer Science;J. Esparza,2000
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献