Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference(TACAS)

C. R. Ramakrishnan, Jakob Rehof

Abstract:

Bibtex Entry:

@book{RR:TACAS08,
author = {C. R. Ramakrishnan and  Jakob Rehof},
title = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference({TACAS})},
address = {Budapest, Hungary},
month = {March},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4963},
year = {2008}
}

Home | Papers

C. R. Ramakrishnan
(cram@cs.sunysb.edu)