Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
A Petri net-based model for verification of obligations and accountability in cooperative systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Information Tracking in Games on Graphs
Journal of Logic, Language and Information
A summary of some discrete-event system control problems
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Hi-index | 0.00 |