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},
}
Home > Verimag > Publications
bibtex
@incollection{CRT07a,
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},
}
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},
}
