An Automated Analysis of Ping-Pong Interactions in E-mail Services
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
PSPACE-completeness of Modular Supervisory Control Problems
Discrete Event Dynamic Systems
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
Hi-index | 5.23 |