{"_id":"QFXmBv456rG2N8qrZ","bibbaseid":"bourdonov-kossatchev-kuliamin-formalconformancetestingofsystemswithrefusedinputsandforbiddenactions-2006","downloads":0,"creationDate":"2016-01-22T05:24:52.200Z","title":"Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.","author_short":["Bourdonov, I. B.","Kossatchev, A. S.","Kuliamin, V. V."],"year":2006,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Igor Sokolov?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-11-16T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Bourdonov"],"firstnames":["Igor","B."],"suffixes":[]},{"propositions":[],"lastnames":["Kossatchev"],"firstnames":["Alexander","S."],"suffixes":[]},{"propositions":[],"lastnames":["Kuliamin"],"firstnames":["Victor","V."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/21fae1380224066a8b32c9f07e6377873/dblp","ee":"http://dx.doi.org/10.1016/j.entcs.2006.09.008","interhash":"3aaf7fadca7db5d692662d8d6425431b","intrahash":"1fae1380224066a8b32c9f07e6377873","journal":"Electr. Notes Theor. Comput. Sci.","keywords":"dblp","number":"4","pages":"83-96","timestamp":"2015-11-17T11:34:44.000+0100","title":"Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.","url":"http://dblp.uni-trier.de/db/journals/entcs/entcs164.html#BourdonovKK06","volume":"164","year":"2006","bibtex":"@article{journals/entcs/BourdonovKK06,\n added-at = {2015-11-16T00:00:00.000+0100},\n author = {Bourdonov, Igor B. and Kossatchev, Alexander S. and Kuliamin, Victor V.},\n biburl = {http://www.bibsonomy.org/bibtex/21fae1380224066a8b32c9f07e6377873/dblp},\n ee = {http://dx.doi.org/10.1016/j.entcs.2006.09.008},\n interhash = {3aaf7fadca7db5d692662d8d6425431b},\n intrahash = {1fae1380224066a8b32c9f07e6377873},\n journal = {Electr. Notes Theor. Comput. Sci.},\n keywords = {dblp},\n number = 4,\n pages = {83-96},\n timestamp = {2015-11-17T11:34:44.000+0100},\n title = {Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.},\n url = {http://dblp.uni-trier.de/db/journals/entcs/entcs164.html#BourdonovKK06},\n volume = 164,\n year = 2006\n}\n\n","author_short":["Bourdonov, I. B.","Kossatchev, A. S.","Kuliamin, V. V."],"key":"journals/entcs/BourdonovKK06","id":"journals/entcs/BourdonovKK06","bibbaseid":"bourdonov-kossatchev-kuliamin-formalconformancetestingofsystemswithrefusedinputsandforbiddenactions-2006","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.entcs.2006.09.008","Paper":"http://dblp.uni-trier.de/db/journals/entcs/entcs164.html#BourdonovKK06"},"keyword":["dblp"],"downloads":0},"search_terms":["formal","conformance","testing","systems","refused","inputs","forbidden","actions","bourdonov","kossatchev","kuliamin"],"keywords":["dblp"],"authorIDs":[],"dataSources":["h2zaCTy5Y74MDBFyN"]}