Priority and abstraction in process algebra
Information and Computation
Compositional Abstraction in Real-Time Model Checking
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 5.23 |