Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lecture Notes in Computer Science;G. Behrmann,2003
2. Lecture Notes in Computer Science;S. Blom,2007
3. Blom, S.C.C., Orzan, S.: Distributed State Space Minimization. STTT 7(3), 280–291 (2005)
4. Chakrabarti, P.P., Ghose, S., Acharya, A., De Sarkas, S.C.: Heuristic Search in Restricted Memory. Artificial Intelligence 41(2), 197–222 (1989)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献