Validation of Stochastic Systems : A Guide to Current Research /

保存先:
書誌詳細
第一著者: Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (edición)
フォーマット: 図書
言語:英語
出版事項: Berlín, Alemania : Springer, 2004, c2004
シリーズ:(Lecture Notes in Computer Science)
オンライン・アクセス:Ver documento en línea
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!