Efficient Checking of Link-Reversal-Based Concurrent Systems (bibtex)
by Matthias Függer, Josef Widder
Reference:
Efficient Checking of Link-Reversal-Based Concurrent SystemsMatthias Függer, Josef WidderCONCUR, volume 7454 of LNCS, pages 486-499, 2012.
Bibtex Entry:
@inproceedings{FW12,
year={2012},
booktitle={CONCUR},
volume={7454},
series={LNCS},
title={Efficient Checking of Link-Reversal-Based Concurrent Systems},
author={F{\"u}gger, Matthias and Widder, Josef},
pages={486--499},
url = {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=3056&viewmode=published&year=2012}
}
Powered by bibtexbrowser