A formal model of real-time program compilation
Theoretical Computer Science
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Hi-index | 0.00 |