@article{RAB+5,
title = { Compositional Verification for Timed Systems Based on Automatic Invariant Generation },
author = {Rayana, Souha Ben and Astefanoaei, Lacramioara and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
year = {2015},
journal = {Logical Methods in Computer Science},
number = {3},
volume = {11},
team = {RSD, axe_Mohytos},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 28244256
|
|
|