登入選單

返回Google圖書搜尋

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models

Ernst Moritz HahnArnd HartmannsChristian HenselMichaela KlauckJoachim KleinJan KřetínskýDavid ParkerTim QuatmannEnno RuijtersMarcel Steinmetz

出版	Universitätsbibliothek der RWTH Aachen, 2019
URL	http://books.google.com.hk/books?id=zs_EzQEACAAJ&hl=&source=gbs_api