@inproceedings{ARB+14,
title = {Compositional Invariant Generation for Timed Systems },
author = {Astefanoaei, Lacramioara and Rayana, Souha Ben and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
year = {2014},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS},
pages = {263-278},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8413},
team = {DCS, RSD},
}
