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

@inproceedings{TUW-239547,
    author = {Grosu, Radu and Batt, Gregory and Fenton, Flavio H. and Glimm, James and Le Guernic, Colas and Smolka, Scott A. and Bartocci, Ezio},
    title = {From Cardiac Cells to Genetic Regulatory Network},
    booktitle = {CAV 2011: the 23rd International Conference on Computer Aided Verification},
    year = {2011},
    pages = {396--411},
    publisher = {LNCS / Springer},
    address = {vol. 6806},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-22110-1{\_}31},
    note = {talk: CAV 2011: the 23rd International Conference on Computer Aided Verification, Snowbird, UT, USA; 2011-07-14 -- 2011-07-20}
}


1 Datensatz ausgegeben