Author:
Reveliotis Spyros,Nazeem Ahmed
Reference66 articles.
1. K. Akesson, M. Fabian, H. Flordal, and R. Malik. SUPREMICA-an integrated environment for verification, synthesis and simulation of discrete event systems. InProceedings of the 8th International Workshop on Discrete Event Systems, Ann Arbor, MI, pp.384-385. IEEE,2006.
2. T. Araki, Y. Sugiyama, and T. Kasami. Complexity of the deadlock avoidance problem. In2nd IBM Symposium on Mathematical Foundations of Computer Science, pp.229-257. IBM,1977.
3. Theory of regions
4. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
5. Advanced Data Structures
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献