Verimag

bibtex

@article{ACH+95,
    title = {The Algorithmic Analysis of Hybrid Systems },
    author = {Alur, Rajeev and Courcoubetis, Costas and Halbwachs, Nicolas and Henzinger, Thomas A. and Ho, Pei-Hsin and Nicollin, Xavier and Olivero, Alfredo and Sifakis, Joseph and Yovine, Sergio},
    month = {jan},
    year = {1995},
    journal = {Theoretical Computer Science B},
    pages = {3--34},
    volume = {138},
    team = {DCS, SYNC},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 19 ; visits: 391633