Model checking linearizability via refinement

10.1007/978-3-642-05089-3_21

Saved in:

Bibliographic Details
Main Authors:	Liu, Y., Chen, W., Liu, Y.A., Sun, J.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40684
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40684
record_format	dspace
spelling	sg-nus-scholar.10635-406842015-01-13T20:13:54Z Model checking linearizability via refinement Liu, Y. Chen, W. Liu, Y.A. Sun, J. COMPUTER SCIENCE 10.1007/978-3-642-05089-3_21 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5850 LNCS 321-337 2013-07-04T08:09:59Z 2013-07-04T08:09:59Z 2009 Conference Paper Liu, Y.,Chen, W.,Liu, Y.A.,Sun, J. (2009). Model checking linearizability via refinement. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5850 LNCS : 321-337. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-05089-3_21" target="_blank">https://doi.org/10.1007/978-3-642-05089-3_21</a> 3642050883 03029743 http://scholarbank.nus.edu.sg/handle/10635/40684 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1007/978-3-642-05089-3_21
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Liu, Y. Chen, W. Liu, Y.A. Sun, J.
format	Conference or Workshop Item
author	Liu, Y. Chen, W. Liu, Y.A. Sun, J.
spellingShingle	Liu, Y. Chen, W. Liu, Y.A. Sun, J. Model checking linearizability via refinement
author_sort	Liu, Y.
title	Model checking linearizability via refinement
title_short	Model checking linearizability via refinement
title_full	Model checking linearizability via refinement
title_fullStr	Model checking linearizability via refinement
title_full_unstemmed	Model checking linearizability via refinement
title_sort	model checking linearizability via refinement
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40684
_version_	1681082310325174272

Model checking linearizability via refinement

Similar Items