Inproceedings,
Safe Concurrency for Aggregate Objects with Invariants.
B. Jacobs, F. Piessens, K. Leino, and W. Schulte.SEFM, page 137-147. IEEE Computer Society, (2005)
Meta data
- BibTeX key
- conf/sefm/JacobsPLS05
- entry type
- inproceedings
- booktitle
- SEFM
- year
- 2005
- pages
- 137-147
- publisher
- IEEE Computer Society
- crossref
- conf/sefm/2005
- ee
- http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.39
- isbn
- 0-7695-2435-4
- url
- http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#JacobsPLS05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sefm/JacobsPLS05
%A Jacobs, Bart
%A Piessens, Frank
%A Leino, K. Rustan M.
%A Schulte, Wolfram
%B SEFM
%D 2005
%E Aichernig, Bernhard K.
%E Beckert, Bernhard
%I IEEE Computer Society
%K
%P 137-147
%T Safe Concurrency for Aggregate Objects with Invariants.
%U http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#JacobsPLS05
%@ 0-7695-2435-4
@inproceedings{conf/sefm/JacobsPLS05,
added-at = {2023-12-12T19:46:36.000+0100},
author = {Jacobs, Bart and Piessens, Frank and Leino, K. Rustan M. and Schulte, Wolfram},
biburl = {https://www.bibsonomy.org/bibtex/24ab31b5568f5d70783dc1e9077d862ff/admin},
booktitle = {SEFM},
crossref = {conf/sefm/2005},
editor = {Aichernig, Bernhard K. and Beckert, Bernhard},
ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.39},
interhash = {25e2faa4872c3604520b796507f14bb3},
intrahash = {4ab31b5568f5d70783dc1e9077d862ff},
isbn = {0-7695-2435-4},
keywords = {},
pages = {137-147},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T19:46:36.000+0100},
title = {Safe Concurrency for Aggregate Objects with Invariants.},
url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#JacobsPLS05},
year = 2005
}