Yazar
Clarke, Edmund M. editor.
Format:
Electronic Resources
Alıntı:
Handbook of Model Checking Clarke, Edmund M. editor.
View Other Search Results
Yazar
Plotkin, G. (Gordon), 1946-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format:
Electronic Resources
Alıntı:
. Baeten, Sergey Berezin, J. A. Bergstra, Gřard Berry, Lars Birkedal, Gřard Boudol, Edmund Clarke, Pierre
View Other Search Results
Arama Sonuçlarını Sınırlandır