%0 Conference Paper %1 conf/kes/UetsukiMT11 %A Uetsuki, Keiji %A Matsuodani, Tohru %A Tsuda, Kazuhiko %B KES (3) %D 2011 %E König, Andreas %E Dengel, Andreas %E Hinkelmann, Knut %E Kise, Koichi %E Howlett, Robert J. %E Jain, Lakhmi C. %I Springer %K dblp %P 336-345 %T Software Logical Structure Verification Method by Modeling Implemented Specification. %U http://dblp.uni-trier.de/db/conf/kes/kes2011-3.html#UetsukiMT11 %V 6883 %@ 978-3-642-23853-6

@inproceedings{conf/kes/UetsukiMT11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Uetsuki, Keiji and Matsuodani, Tohru and Tsuda, Kazuhiko}, biburl = {https://www.bibsonomy.org/bibtex/26b95fce143a32aa01e51537ceb1ad628/dblp}, booktitle = {KES (3)}, crossref = {conf/kes/2011-3}, editor = {König, Andreas and Dengel, Andreas and Hinkelmann, Knut and Kise, Koichi and Howlett, Robert J. and Jain, Lakhmi C.}, ee = {https://doi.org/10.1007/978-3-642-23854-3_36}, interhash = {291eff2a319a88cb9b696f020d389d37}, intrahash = {6b95fce143a32aa01e51537ceb1ad628}, isbn = {978-3-642-23853-6}, keywords = {dblp}, pages = {336-345}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-14T11:44:58.000+0200}, title = {Software Logical Structure Verification Method by Modeling Implemented Specification.}, url = {http://dblp.uni-trier.de/db/conf/kes/kes2011-3.html#UetsukiMT11}, volume = 6883, year = 2011 }