Article Info

created: 2021年 11月 8日 月曜日 20:47:15 JST
modified: 2022年 6月 1日 水曜日 11:04:49 JST
views: 7950
keywords: 時相論理式, Buchiオートマタ
prev:動作ベースと状態ベースの仕様記述について next:時相論理式とBuchiオートマタ(工事中)