LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
A lattice-theoretic characterization of safety and liveness
Proceedings of the twenty-second annual symposium on Principles of distributed computing
An approach to synthesise safe systems
International Journal of Security and Networks
| Hi-index | 0.89 |