Inproceedings,
Retrenchment and the Atomicity Pattern.
R. Banach, C. Jeske, A. Hall, and S. Stepney.SEFM, page 37-46. IEEE Computer Society, (2007)
Meta data
- BibTeX key
- conf/sefm/BanachJHS07
- entry type
- inproceedings
- booktitle
- SEFM
- year
- 2007
- pages
- 37-46
- publisher
- IEEE Computer Society
- crossref
- conf/sefm/2007
- ee
- https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.34
- isbn
- 978-0-7695-2884-7
- url
- http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BanachJHS07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sefm/BanachJHS07
%A Banach, Richard
%A Jeske, Czeslaw
%A Hall, Anthony
%A Stepney, Susan
%B SEFM
%D 2007
%I IEEE Computer Society
%K dblp
%P 37-46
%T Retrenchment and the Atomicity Pattern.
%U http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BanachJHS07
%@ 978-0-7695-2884-7
@inproceedings{conf/sefm/BanachJHS07,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Banach, Richard and Jeske, Czeslaw and Hall, Anthony and Stepney, Susan},
biburl = {https://www.bibsonomy.org/bibtex/2879218820dfbff2ae28c45b845218c8f/dblp},
booktitle = {SEFM},
crossref = {conf/sefm/2007},
ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.34},
interhash = {8736b0c92ebb4720b4246922a241a4fb},
intrahash = {879218820dfbff2ae28c45b845218c8f},
isbn = {978-0-7695-2884-7},
keywords = {dblp},
pages = {37-46},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T19:21:32.000+0200},
title = {Retrenchment and the Atomicity Pattern.},
url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BanachJHS07},
year = 2007
}