%0 Journal Article %1 journals/se/MehrpouyanGBTH16 %A Mehrpouyan, Hoda %A Giannakopoulou, Dimitra %A Brat, Guillaume %A Tumer, Irem Y. %A Hoyle, Chris %D 2016 %J Systems Engineering %K %N 6 %P 461-476 %T Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning. %U http://dblp.uni-trier.de/db/journals/se/se19.html#MehrpouyanGBTH16 %V 19

@article{journals/se/MehrpouyanGBTH16, added-at = {2023-12-12T21:26:43.000+0100}, author = {Mehrpouyan, Hoda and Giannakopoulou, Dimitra and Brat, Guillaume and Tumer, Irem Y. and Hoyle, Chris}, biburl = {https://www.bibsonomy.org/bibtex/2815401f05bb44dac2c5361630706c7a9/admin}, ee = {http://dx.doi.org/10.1002/sys.21368}, interhash = {3e47a299a1aaa8b9f590e9215afd175a}, intrahash = {815401f05bb44dac2c5361630706c7a9}, journal = {Systems Engineering}, keywords = {}, number = 6, pages = {461-476}, timestamp = {2023-12-12T21:26:43.000+0100}, title = {Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning.}, url = {http://dblp.uni-trier.de/db/journals/se/se19.html#MehrpouyanGBTH16}, volume = 19, year = 2016 }