%0 Conference Paper %1 conf/kse/TranHH18 %A Tran, Hoang-Viet %A Hung, Pham Ngoc %A Hung, Dang Van %B KSE %D 2018 %E Thuy, Nguyen Thanh %E Tojo, Satoshi %E Hanh, Tan %E Nguyen, Minh Le %E Phuong, Tu Minh %E Bao, Vo Nguyen Quoc %I IEEE %K dblp %P 270-275 %T On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. %U http://dblp.uni-trier.de/db/conf/kse/kse2018.html#TranHH18 %@ 978-1-5386-6114-7

@inproceedings{conf/kse/TranHH18, added-at = {2019-01-04T00:00:00.000+0100}, author = {Tran, Hoang-Viet and Hung, Pham Ngoc and Hung, Dang Van}, biburl = {https://www.bibsonomy.org/bibtex/26d2353338f5a536df65005a7a2e33b25/dblp}, booktitle = {KSE}, crossref = {conf/kse/2018}, editor = {Thuy, Nguyen Thanh and Tojo, Satoshi and Hanh, Tan and Nguyen, Minh Le and Phuong, Tu Minh and Bao, Vo Nguyen Quoc}, ee = {https://doi.org/10.1109/KSE.2018.8573364}, interhash = {eab1cd2565c91e0b75fe341e5e2045c2}, intrahash = {6d2353338f5a536df65005a7a2e33b25}, isbn = {978-1-5386-6114-7}, keywords = {dblp}, pages = {270-275}, publisher = {IEEE}, timestamp = {2024-04-10T00:06:48.000+0200}, title = {On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software.}, url = {http://dblp.uni-trier.de/db/conf/kse/kse2018.html#TranHH18}, year = 2018 }