登入
選單
返回
Google圖書搜尋
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Christel Baier
Marcus Daum
Benjamin Engel
Hermann Härtig
Joachim Klein
Sascha Klüppelholz
Steffen Märcker
Hendrik Tews
Marcus Völp
出版
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
, 2013
URL
http://books.google.com.hk/books?id=Xut0uwEACAAJ&hl=&source=gbs_api