1.

図書
図書
1. Principles of model checking
Christel Baier, Joost-Pieter Katoen
出版情報: Cambridge, Mass. : MIT Press, [2008]
所蔵情報: loading…
2.

図書
図書
2. Model checking quantum systems : principles and algorithms
Mingsheng Ying, Yuan Feng
出版情報: Cambridge : Cambridge University Press, 2021
所蔵情報: loading…
3.

図書
図書
3. Compositional verification of concurrent and real-time systems
by Eric Y.T. Juan, Jeffrey J.P. Tsai
出版情報: Boston : Kluwer Academic Publishers, c2002
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 676
所蔵情報: loading…
4.

図書
図書
4. Model checking
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
出版情報: Cambridge, Mass. : MIT Press, c1999
所蔵情報: loading…