Home > Verimag > Publications

bibtex

@incollection{CRT7,
    title = {Synchronous languages },
    author = {Caspi, Paul and Raymond, Pascal and Tripakis, Stavros},
    year = {2007},
    booktitle = {Handbook of Real-Time And Embedded Systems},
    publisher = {Chapman {\&} Hall},
    team = {SYNC},
}