書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- Formalising Coffman conditions in first order modal mu calculus
- 著者・編者
- [by] Yoshiki Kinoshita, Koki Nishizawa, Keishi Okamoto
- シリーズ著者・編者
- 産業技術総合研究所システム検証研究センター 編
- 出版年月日等
- 2006.10
- 出版年(W3CDTF)
- 2006
- 数量
- 1 v. (unpaged)