PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Compositional Transformational Design for Concurrent Programs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Layered composition for timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Hi-index | 0.00 |