%0 Conference Paper %1 conf/icess/ZhuBW04 %A Zhu, Ming %A Bian, Jinian %A Wu, Weimin %B ICESS %D 2004 %E Wu, Zhaohui %E Chen, Chun %E Guo, Minyi %E Bu, Jiajun %I Springer %K dblp %P 542-548 %T Model Optimization Techniques in a Verification Platform for Classified Properties. %U http://dblp.uni-trier.de/db/conf/icess/icess2004.html#ZhuBW04 %V 3605 %@ 3-540-28128-2

@inproceedings{conf/icess/ZhuBW04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Zhu, Ming and Bian, Jinian and Wu, Weimin}, biburl = {https://www.bibsonomy.org/bibtex/2c436b0449ca54a97ae50dc7bf7b9c5f1/dblp}, booktitle = {ICESS}, crossref = {conf/icess/2004}, editor = {Wu, Zhaohui and Chen, Chun and Guo, Minyi and Bu, Jiajun}, ee = {https://doi.org/10.1007/11535409_79}, interhash = {d21519d2e6815f6f36b7063255782727}, intrahash = {c436b0449ca54a97ae50dc7bf7b9c5f1}, isbn = {3-540-28128-2}, keywords = {dblp}, pages = {542-548}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-23T11:39:22.000+0200}, title = {Model Optimization Techniques in a Verification Platform for Classified Properties.}, url = {http://dblp.uni-trier.de/db/conf/icess/icess2004.html#ZhuBW04}, volume = 3605, year = 2004 }