Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
Download
No fulltext has been uploaded.
Journal Article
Author
Travkin, Oleg;
Wehrheim, HeikeLibreCat;
Schellhorn, Gerhard
Publishing Year
Journal Title
{ECEASST}
LibreCat-ID
Cite this
Travkin O, Wehrheim H, Schellhorn G. Proving Linearizability of Multiset with Local Proof Obligations. {ECEASST}. 2012.
Travkin, O., Wehrheim, H., & Schellhorn, G. (2012). Proving Linearizability of Multiset with Local Proof Obligations. {ECEASST}.
@article{Travkin_Wehrheim_Schellhorn_2012, title={Proving Linearizability of Multiset with Local Proof Obligations}, journal={{ECEASST}}, author={Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard}, year={2012} }
Travkin, Oleg, Heike Wehrheim, and Gerhard Schellhorn. “Proving Linearizability of Multiset with Local Proof Obligations.” {ECEASST}, 2012.
O. Travkin, H. Wehrheim, and G. Schellhorn, “Proving Linearizability of Multiset with Local Proof Obligations,” {ECEASST}, 2012.
Travkin, Oleg, et al. “Proving Linearizability of Multiset with Local Proof Obligations.” {ECEASST}, 2012.
Google Scholar