Verimag

bibtex

@inproceedings{SDI08b,
    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 = {TEMPO},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 12 ; visites : 424074