著者典拠情報

標目形：
Katoen, Joost-Pieter
属性：
Personal
注記：
SRC:Formal methods for real-time and probabilistic systems, c1999: t.p. (Joost-Pieter Katoen) t.p. verso (Univ. of Erlangen-Nürnberg,b Lehrstuhl für Informatik)
著者典拠ID：
DA12538874


 close
1.

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

図書
図書
2. Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…