%0 Conference Paper %1 conf/isca/MeixnerS05 %A Meixner, Albert %A Sorin, Daniel J. %B ISCA %D 2005 %I IEEE Computer Society %K dblp %P 482-493 %T Dynamic Verification of Sequential Consistency. %U http://dblp.uni-trier.de/db/conf/isca/isca2005.html#MeixnerS05

@inproceedings{conf/isca/MeixnerS05, added-at = {2014-10-16T00:00:00.000+0200}, author = {Meixner, Albert and Sorin, Daniel J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2be1feb347861302e4ac3a5f273bd8576/dblp}, booktitle = {ISCA}, crossref = {conf/isca/2005}, ee = {http://dl.acm.org/citation.cfm?id=1070010}, interhash = {bf16132f4cb18ca2431b027f481f5bfb}, intrahash = {be1feb347861302e4ac3a5f273bd8576}, keywords = {dblp}, pages = {482-493}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:21:42.000+0100}, title = {Dynamic Verification of Sequential Consistency.}, url = {http://dblp.uni-trier.de/db/conf/isca/isca2005.html#MeixnerS05}, year = 2005 }