京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(著者名に左の語を含む: #Alur Rajeev)
該当件数:3件
Hybrid systems III : verification and control
: Springer , 1996
電子ブック
Computer Aided Verification: 16th International Conference, CAV 2004 Boston, MA, USA, July 13-17, 2004 Proceedings
: Springer , 2004
Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1066)
図書