@inproceedings{BLN+0,
title = {Incremental Invariant Generation for Compositional Design },
author = {Bensalem, Saddek and Legay, Axel and Nguyen, Thanh-Hung and Sifakis, Joseph and Yan, Rongjie},
year = {2010},
booktitle = {4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {157-167},
publisher = {IEEE Computer Society},
team = {DCS, RSD},
}
