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,
  OPTkey = 	 {},
  author = 	 {Matthias F{\"u}gger and Josef Widder},
  title = 	 {On Efficient Checking of Link-reversal-based Concurrent Systems},
  howpublished = {Unpublished contribution to: (EC)<sup>2</sup> 2011: Workshop on Exploiting Concurrency Efficiently and Correctly},
  url = 	 {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=2913&viewmode=paper&year=2011},
  year = 	 {2011}
}
Powered by bibtexbrowser