On Efficient Checking of Link-reversal-based Concurrent Systems (bibtex)
by Matthias Függer, Josef Widder
Reference:
On Efficient Checking of Link-reversal-based Concurrent SystemsMatthias Függer, Josef Widder2011, Unpublished contribution to: (EC)2 2011: Workshop on Exploiting Concurrency Efficiently and Correctly.
Bibtex Entry:
@misc{FW11,
title = {On Efficient Checking of Link-reversal-based Concurrent Systems},
url = {/pubpdf/On_Efficient_Checking_of_Link-reversal-based_Concurrent_Systems.pdf},
author = {Matthias F{\"u}gger and Josef Widder},
link = {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=2913&viewmode=paper&year=2011},
year = {2011},
howpublished = {Unpublished contribution to: (EC)<sup>2</sup> 2011: Workshop on Exploiting
Concurrency Efficiently and Correctly},
}
Powered by bibtexbrowser