Tools and Algorithms for the Construction and Analysis of Systems ...

Reference

Cormac Flanagan and Barbara König, editors. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012). Springer, 2012. LNCS/ARCoSS 7214.

Suggested BibTeX entry:

@proceedings{FK12,
    editor = {Cormac Flanagan and Barbara K{\"o}nig},
    note = {{LNCS/ARCoSS} 7214},
    publisher = {Springer},
    title = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS~2012)},
    year = {2012}
}



See www.springeronline.com ...
© University of Duisburg-Essen, Theoretical Computer Science group