Building Tools for LOTOS Symbolic Semantics in Maude
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Experiences with specification and verification in LOTOS: a report on two case studies
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design
Towards a symbolic modal logic for LOTOS
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |