An Adequate Logic for Full LOTOS
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Development of concurrent systems in B AMN
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Towards a symbolic modal logic for LOTOS
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |