MoMo

swMATH10020MaRDI QIDQ21995

No author found.

Described by source

• Formal Methods for Components and Objects

Related Items (3)

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

This page was built for software: MoMo