Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July
Yazar
Li, Zheng. editor. (orcid)0000-0002-3938-7033
Format:
Electronic Resources
Alıntı:
Communications in Computer and Information Science,
View Other Search Results
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Theoretical Computer Science and General Issues ;
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Theoretical Computer Science and General Issues ;
Arama Sonuçlarını Sınırlandır
Daraltılmış: