@inproceedings{ARB+5,
title = { Compositional Verification of Parameterised Timed Systems },
author = {Astefanoaei, Lacramioara and Rayana, Souha Ben and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
year = {2015},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings},
pages = {66--81},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9058},
team = {DCS, RSD, axe_Mohytos},
}
