Relational database behavior: utilizing relational discrete event systems and models
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An axiomatic basis for general discrete-event modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
A Colored Petri Net-Based Formal Method for the Design of Control Systems
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Hi-index | 0.00 |