%0 Journal Article %1 journals/sosym/BensalemBLNSY16 %A Bensalem, Saddek %A Bozga, Marius %A Legay, Axel %A Nguyen, Thanh-Hung %A Sifakis, Joseph %A Yan, Rongjie %D 2016 %J Softw. Syst. Model. %K dblp %N 2 %P 427-451 %T Component-based verification using incremental design and invariants. %U http://dblp.uni-trier.de/db/journals/sosym/sosym15.html#BensalemBLNSY16 %V 15

@article{journals/sosym/BensalemBLNSY16, added-at = {2020-09-18T00:00:00.000+0200}, author = {Bensalem, Saddek and Bozga, Marius and Legay, Axel and Nguyen, Thanh-Hung and Sifakis, Joseph and Yan, Rongjie}, biburl = {https://www.bibsonomy.org/bibtex/27c39544d41b9fd099c66c7c06d022d6f/dblp}, ee = {https://doi.org/10.1007/s10270-014-0410-8}, interhash = {76ec5a6cf9e6cab0e6f63617fcd407a0}, intrahash = {7c39544d41b9fd099c66c7c06d022d6f}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 2, pages = {427-451}, timestamp = {2020-09-19T11:40:33.000+0200}, title = {Component-based verification using incremental design and invariants.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym15.html#BensalemBLNSY16}, volume = 15, year = 2016 }