類似資料
-
Local Search in Model Checking
著者:: Roscoe, A, 等
出版事項: (2009) -
Efficient deadlock freedom checking using local analysis and SAT checking
著者:: Antonio, P, 等
出版事項: (2016) -
Model−checking CSP
著者:: A. W. Roscoe
出版事項: (1994) -
Model checking Timed CSP
著者:: Armstrong, P, 等
出版事項: (2012) -
The perfect ‘spy’ for model−checking cryptoprotocols
著者:: Roscoe, A, 等
出版事項: (1997)