Symbolic semantic rules for producing compact STGLAs from value passing process descriptions
ACM Transactions on Computational Logic (TOCL)
Model checking real-time value-passing systems
Journal of Computer Science and Technology
Theories of Programming and Formal Methods
Hi-index | 0.00 |