%0 Conference Paper %1 conf/asian/Zhan03 %A Zhan, Naijun %B ASIAN %D 2003 %E Saraswat, Vijay A. %I Springer %K dblp %P 110-124 %T Combining Hierarchical Specification with Hierarchical Implementation. %U http://dblp.uni-trier.de/db/conf/asian/asian2003.html#Zhan03 %V 2896 %@ 3-540-20632-9

@inproceedings{conf/asian/Zhan03, added-at = {2017-05-26T00:00:00.000+0200}, author = {Zhan, Naijun}, biburl = {https://www.bibsonomy.org/bibtex/20210257ecfb63e1af7050b57e4ca4275/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/2003}, editor = {Saraswat, Vijay A.}, ee = {https://doi.org/10.1007/978-3-540-40965-6_8}, interhash = {cd3db22845c3a925cc3426b7c82cdc13}, intrahash = {0210257ecfb63e1af7050b57e4ca4275}, isbn = {3-540-20632-9}, keywords = {dblp}, pages = {110-124}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:18:47.000+0200}, title = {Combining Hierarchical Specification with Hierarchical Implementation.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian2003.html#Zhan03}, volume = 2896, year = 2003 }