Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24
Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
Verification and Evaluation of Computer and Communication Systems 12th International Conference
View Other Search Results
Yazar
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
Verification and Evaluation of Computer and Communication Systems 13th International Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: