A generic model for state-based agent systems
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Mathematics for formal methods, a proposal for education reform
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Towards a new conceptual framework for the modelling of dynamically distributed systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Algebraic advances for aliasing
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |