Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;O. Biberstein,2001
2. Lecture Notes in Computer Science;H. Ehrig,2004
3. Finkel, A., Schnoebelen, Ph.: Well-structured transition systems everywhere! Theoretical Computer Science 256(1-2), 63–92 (2001)
4. Lecture Notes in Computer Science;K. Hee van,2006
5. van Hee, K., et al.: Checking Properties of Adaptive Workflow Nets. In: Concurrency, Specification and Programming, Informatik-Bericht 206, vol. 1, pp. 92–103. Humboldt-Universitat zu Berlin, Berlin (2006)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献