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 WidderChapter in Proceedings CONCUR 2012 - Concurrency Theory (Maciej Koutny, Irek Ulidowski, eds.), volume 7454 of Lecture Notes in Computer Science, pages 486-499, 2012, Springer Berlin Heidelberg.
Bibtex Entry:
@incollection{FW12:CONCUR,
publisher = {Springer Berlin Heidelberg},
title = {Efficient Checking of Link-Reversal-Based Concurrent Systems},
url = {/pubpdf/Efficient_Checking_of_Link-Reversal-Based_Concurrent_Systems.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Proceedings CONCUR 2012 - Concurrency Theory},
author = {F\"ugger, Matthias and Widder, Josef},
volume = {7454},
link = {http://dx.doi.org/10.1007/978-3-642-32940-1_34},
editor = {Koutny, Maciej and Ulidowski, Irek},
year = {2012},
pages = {486-499},
}
Powered by bibtexbrowser