BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-212327,
    author = {F{\"u}gger, Matthias and Widder, Josef},
    title = {Efficient Checking of Link-Reversal-Based Concurrent Systems},
    booktitle = {CONCUR 2012 - Concurrency Theory},
    year = {2012},
    pages = {486--499},
    publisher = {Lecture Notes in Computer Science. Springer Verlag.},
    address = {7454},
    isbn = {978-3-642-32939-5},
    doi = {10.1007/978-3-642-32940-1{\_}34},
    note = {talk: International Conference on Concurrency Theory (CONCUR), Newcaslte upon Tyne, UK; 2012-09-03 -- 2012-09-08}
}


1 Datensatz ausgegeben