%0 Conference Paper %1 conf/rivf/Hoang-MinhLH13 %A Hoang-Minh, Duong %A Le-Khanh, Trinh %A Hung, Pham Ngoc %B RIVF %D 2013 %I IEEE %K dblp %P 22-26 %T An assume-guarantee model checker for component-based systems. %U http://dblp.uni-trier.de/db/conf/rivf/rivf2013.html#Hoang-MinhLH13 %@ 978-1-4799-1349-7

@inproceedings{conf/rivf/Hoang-MinhLH13, added-at = {2017-05-25T00:00:00.000+0200}, author = {Hoang-Minh, Duong and Le-Khanh, Trinh and Hung, Pham Ngoc}, biburl = {https://www.bibsonomy.org/bibtex/2309a07c60152ac1caa8fe7fead4f18ce/dblp}, booktitle = {RIVF}, crossref = {conf/rivf/2013}, ee = {https://doi.org/10.1109/RIVF.2013.6719860}, interhash = {24769f385b8ed95ec2a8139a21db3785}, intrahash = {309a07c60152ac1caa8fe7fead4f18ce}, isbn = {978-1-4799-1349-7}, keywords = {dblp}, pages = {22-26}, publisher = {IEEE}, timestamp = {2019-10-17T14:58:23.000+0200}, title = {An assume-guarantee model checker for component-based systems.}, url = {http://dblp.uni-trier.de/db/conf/rivf/rivf2013.html#Hoang-MinhLH13}, year = 2013 }