MoMo

MaRDI QIDQ21995swMATHFDO

Official website http://link.springer.com/chapter/10.1007/11561163_5

Described by source

• Formal Methods for Components and Objects

Cited in

(6)

• Model checking mobile stochastic logic
• Multiple-Labelled Transition Systems for nominal calculi and their logics
• A logic of behaviour in context
• SLMC
• ULM
• Casaal

This page was built for software: MoMo