iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/soict/TranNH19.xml
Hoang-Viet Tran Quang-Trung Nguyen Pham Ngoc Hung On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems. 457-464 2019 SoICT https://doi.org/10.1145/3368926.3369659 conf/soict/2019 db/conf/soict/soict2019.html#TranNH19