Researchers compared several Büchi automatons to determine which accepted the intended liveness properties.
研究者たちは複数のビュッヒ・オートマタを比較して、どれが意図したライブネス特性を受理するかを調べた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
