%0 Conference Paper %1 conf/smc/YamamotoTOO00 %A Yamamoto, Reki %A Tsuruta, Setsuo %A Onoyama, Takashi %A Oyanagi, Kazuko %B SMC %D 2000 %I IEEE %K dblp %P 2467-2472 %T A knowledge-based method for validating specifications including open parts. %U http://dblp.uni-trier.de/db/conf/smc/smc2000.html#YamamotoTOO00 %@ 0-7803-6583-6

@inproceedings{conf/smc/YamamotoTOO00, added-at = {2017-12-14T00:00:00.000+0100}, author = {Yamamoto, Reki and Tsuruta, Setsuo and Onoyama, Takashi and Oyanagi, Kazuko}, biburl = {https://www.bibsonomy.org/bibtex/29e500d69f0712355ff204e25c303e92b/dblp}, booktitle = {SMC}, crossref = {conf/smc/2000}, ee = {https://doi.org/10.1109/ICSMC.2000.884363}, interhash = {dd875ac4f9ef7e8fce1d4fe96ea3fab8}, intrahash = {9e500d69f0712355ff204e25c303e92b}, isbn = {0-7803-6583-6}, keywords = {dblp}, pages = {2467-2472}, publisher = {IEEE}, timestamp = {2019-10-17T22:33:53.000+0200}, title = {A knowledge-based method for validating specifications including open parts.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2000.html#YamamotoTOO00}, year = 2000 }