Author:
Howell Rodney R.,Rosier Louis E.
Publisher
Springer Berlin Heidelberg
Reference47 articles.
1. Apt, K. and Kozen, D., Limits for Automatic Verification of Finite-State Concurrent Systems, Information Processing Letters 22 (1986), 307–310.
2. Best, E., Fairness and Conspiracies, Information Processing Letters 18 (1984), 215–220. Addendum Vol. 19, page 162, 1984.
3. Borosh, I. and Treybig, L., Bounds on Positive Integral Solutions of Linear Diophantine Equations, Proc. AMS 55, 2 (March 1976), 299–304.
4. Brams, G., Reseaux de Petri: Theorie et Pratique — Tome 1: Theorie et Analyse, (Masson, Paris, 1983).
5. Carstensen, H., Decidability Questions for Fairness in Petri Nets, Proceedings of the 4th Symposium on Theoretical Aspects of Computer Science, LNCS 247 (1987), 396–407.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献