Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
A Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth
View Other Search Results
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: