-
1كتاب
المؤلفون: Dragoi, Cezara, Gupta, Ashutosh, Henzinger, Thomas A
المصدر: Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification . Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi: 10.1007/978-3-642-39799-8_11
مصطلحات موضوعية: ddc:005
العلاقة: info:eu-repo/semantics/altIdentifier/issn/0302-9743; info:eu-repo/semantics/altIdentifier/issn/1611-3349; info:eu-repo/semantics/altIdentifier/isbn/9783642397981; info:eu-repo/semantics/altIdentifier/isbn/9783642397998; info:eu-repo/grantAgreement/EC/FP7/267989; info:eu-repo/grantAgreement/FWF//S 11407_N23; https://research-explorer.ista.ac.at/record/5747Test; https://research-explorer.ista.ac.at/download/5747/5748Test
-
2كتاب
المؤلفون: Gupta, Ashutosh
المصدر: Gupta A. Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis . Vol 7561. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:107-121. doi: 10.1007/978-3-642-33386-6_10
مصطلحات موضوعية: ddc:005
العلاقة: info:eu-repo/semantics/altIdentifier/issn/0302-9743; info:eu-repo/semantics/altIdentifier/issn/1611-3349; info:eu-repo/semantics/altIdentifier/isbn/9783642333859; info:eu-repo/semantics/altIdentifier/isbn/9783642333866; info:eu-repo/grantAgreement/EC/FP7/267989; https://research-explorer.ista.ac.at/record/5745Test; https://research-explorer.ista.ac.at/download/5745/5746Test