bibtex

@inproceedings{SDI8b,
    title = {Symbolic Model Checking of Hybrid Systems Using Template Polyhedra },
    author = {Sankaranarayanan, Sriram and Dang, Thao and Ivancic, Franjo},
    year = {2008},
    booktitle = {TACAS'08},
    pages = {188-202},
    publisher = {Springer},
    series = {LNCS},
    team = {axe_Mohytos, TEMPO},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121944