@phdthesis{Ba14,
AUTHOR = {Baumann, Christoph},
TITLE = {Ownership-Based Order Reduction and Simulation in Shared-Memory Concurrent Computer Systems},
YEAR = {2014},

Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Ba14.pdf},
SCHOOL = {Saarland University, Saarbrücken},
}