%0 Conference Paper %1 conf/ieeehpcs/MentisK09 %A Mentis, Anakreon %A Katsaros, Panagiotis %B HPCS %D 2009 %E Smari, Waleed W. %E McIntire, John P. %I IEEE %K dblp %P 138-144 %T The ACID model checker and code generator for transaction processing. %U http://dblp.uni-trier.de/db/conf/ieeehpcs/ieeehpcs2009.html#MentisK09 %@ 978-1-4244-4906-4

@inproceedings{conf/ieeehpcs/MentisK09, added-at = {2018-11-02T00:00:00.000+0100}, author = {Mentis, Anakreon and Katsaros, Panagiotis}, biburl = {https://www.bibsonomy.org/bibtex/214537a0bd0d3415c875a318f10f00bba/dblp}, booktitle = {HPCS}, crossref = {conf/ieeehpcs/2009}, editor = {Smari, Waleed W. and McIntire, John P.}, ee = {https://doi.org/10.1109/HPCSIM.2009.5191824}, interhash = {d508da80f4c0391aa0dfdab5bec927a2}, intrahash = {14537a0bd0d3415c875a318f10f00bba}, isbn = {978-1-4244-4906-4}, keywords = {dblp}, pages = {138-144}, publisher = {IEEE}, timestamp = {2018-11-03T14:23:02.000+0100}, title = {The ACID model checker and code generator for transaction processing.}, url = {http://dblp.uni-trier.de/db/conf/ieeehpcs/ieeehpcs2009.html#MentisK09}, year = 2009 }