Author:
Khomenko Victor,Kondratyev Alex,Koutny Maciej,Vogler Walter
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference20 articles.
1. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)
2. Corbett J.C. (1996). Evaluating Deadlock detection methods for concurrent software. IEEE Trans. Softw. Eng. 22:161–180
3. Desel J., Esparza J. (1995). Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science 40, Cambridge University Press, Cambridge
4. Eén, N., Sörensson, N.: An Extensible SAT-solver. In: Proceedings of SAT’03, LNCS 2919, 502–518 (2003)
5. Engelfriet J. (1991). Branching processes of Petri nets. Acta. Inf. 28:575–591
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献