Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan. Component-based verification using incremental design and invariants. Software and Systems Modeling, 15(2):427-451, 2016. [doi]
@article{BensalemBLNSY16, title = {Component-based verification using incremental design and invariants}, author = {Saddek Bensalem and Marius Bozga and Axel Legay and Thanh-Hung Nguyen and Joseph Sifakis and Rongjie Yan}, year = {2016}, doi = {10.1007/s10270-014-0410-8}, url = {http://dx.doi.org/10.1007/s10270-014-0410-8}, researchr = {https://researchr.org/publication/BensalemBLNSY16}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {15}, number = {2}, pages = {427-451}, }