MoMo

swMATH10020MaRDI QIDQ21995FDOQ21995

Author name not available (Why is that?)

Described by source

• Formal Methods for Components and Objects

Cited In (3)

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

This page was built for software: MoMo