Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24
Yazar
Chaudhuri, Swarat. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17
Yazar
Chaudhuri, Swarat. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna
Yazar
Schmidt, Rainer. editor.
Format:
Electronic Resources
Alıntı:
Computer Appl. in Administrative Data Processing.
Yazar
Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847
Format:
Electronic Resources
Alıntı:
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Yazar
Gulden, Jens. editor. (orcid)0000-0003-4824-8569
Format:
Electronic Resources
Alıntı:
Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product
Arama Sonuçlarını Sınırlandır
Daraltılmış: