MoMo

swMATH10020MaRDI QIDQ21995FDOQ21995

Author name not available (Why is that?)

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

Described by source

• Formal Methods for Components and Objects

Cited In (6)

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

This page was built for software: MoMo