litlas
ログインアカウント作成

The Problem of "Weak Bisimulation up to"

著者: Davide Sangiorgi, Robin Milner - Lecture notes in computer science 1992 被引用: 178

The Problem of "Weak Bisimulation up to" | Litlas