%0 Conference Paper %1 conf/ieaaie/YaoJ94 %A Yao, Zhihui %A Johnson, Aylmer L. %B IEA/AIE %D 1994 %E Anger, Frank D. %E Rodríguez, Rita V. %E Ali, Moonis %I ACM %K dblp %P 501-505 %T Supporting Design Validation by Semantic Analysis. %U http://dblp.uni-trier.de/db/conf/ieaaie/ieaaie1994.html#YaoJ94

@inproceedings{conf/ieaaie/YaoJ94, added-at = {2019-08-03T00:00:00.000+0200}, author = {Yao, Zhihui and Johnson, Aylmer L.}, biburl = {https://www.bibsonomy.org/bibtex/201db2145ac1a3f4301bda6da2934f150/dblp}, booktitle = {IEA/AIE}, crossref = {conf/ieaaie/1994}, editor = {Anger, Frank D. and Rodríguez, Rita V. and Ali, Moonis}, ee = {http://portal.acm.org/citation.cfm?id=201081.201150}, interhash = {a2b20173845f440598978220887792c8}, intrahash = {01db2145ac1a3f4301bda6da2934f150}, keywords = {dblp}, pages = {501-505}, publisher = {ACM}, timestamp = {2019-08-06T11:41:01.000+0200}, title = {Supporting Design Validation by Semantic Analysis.}, url = {http://dblp.uni-trier.de/db/conf/ieaaie/ieaaie1994.html#YaoJ94}, year = 1994 }