Finite transition systems - semantics of communicating systems
暂无分享,去创建一个
Transition systems the synchronous product of transition systems transition system logics verification of properties of transition systems fixpoints in transition systems software tools.