%0 Conference Paper %1 conf/icica/HeLQ11 %A He, Tao %A Li, Huazhong %A Qin, Guorong %B ICICA (2) %D 2011 %E Liu, Chunfeng %E Chang, Jincai %E Yang, Aimin %I Springer %K dblp %P 537-544 %T Model Checking Analysis of Observational Transition System with SMV. %U http://dblp.uni-trier.de/db/conf/icica/icica2011-2.html#HeLQ11 %V 244 %@ 978-3-642-27451-0

@inproceedings{conf/icica/HeLQ11, added-at = {2017-05-21T00:00:00.000+0200}, author = {He, Tao and Li, Huazhong and Qin, Guorong}, biburl = {https://www.bibsonomy.org/bibtex/20cbbbc043b9980555b0e846a47bdefe7/dblp}, booktitle = {ICICA (2)}, crossref = {conf/icica/2011-2}, editor = {Liu, Chunfeng and Chang, Jincai and Yang, Aimin}, ee = {https://doi.org/10.1007/978-3-642-27452-7_73}, interhash = {316961445af35b25d2807a74048edbc7}, intrahash = {0cbbbc043b9980555b0e846a47bdefe7}, isbn = {978-3-642-27451-0}, keywords = {dblp}, pages = {537-544}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2018-08-30T11:39:18.000+0200}, title = {Model Checking Analysis of Observational Transition System with SMV.}, url = {http://dblp.uni-trier.de/db/conf/icica/icica2011-2.html#HeLQ11}, volume = 244, year = 2011 }