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

@unpublished{TUW-206715,
    author = {F{\"u}gger, Matthias and Widder, Josef},
    title = {On Efficient Checking of Link-reversal-based Concurrent Systems},
    year = {2011},
    note = {talk: PUMA/RISE Seminar, Traunkirchen; 2011-10-03 -- 2011-10-07}
}


1 Datensatz ausgegeben