@Inproceedings{LBBB13,
   joint-pub = {false},
   status = {public},
   link = {http://www-verimag.imag.fr/TR/TR-2012-15.pdf},
   task = {T5.2},
   publisher = {IEEE},
   doi = {10.1109/ACSD.2013.11},
   booktitle = {13th International Conference on Application of Concurrency to System Design (ACSD)},
   year = {2013},
   invited = {no},
   timestamp = {2013.11.07},
   main = {yes},
   accessible = {true},
   title = {{Incremental Generation of Linear Invariants for Component-Based Systems}},
   author = {Axel Legay and Saddek Bensalem and Benoit Boyer and Marius Bozga},
   period = {year3},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {Verimag},
   wp = {WP5},
   pages = {80-89}
}