%0 Journal Article %1 Farago10te %A Faragó, David %D 2010 %I Díaz & Hilterscheid %J testing experience, The Magazine for Professional Testers %K coverage mbt myown nondeterminism testing %P 104--106 %T Coverage Criteria for Nondeterministic Systems

@article{Farago10te, added-at = {2011-02-23T17:35:16.000+0100}, author = {Farag\'o, David}, biburl = {https://www.bibsonomy.org/bibtex/2a60fd1e1913634e40eca745fbd46e4ad/davef}, interhash = {60b4037a47f83586f899d511b7b65007}, intrahash = {a60fd1e1913634e40eca745fbd46e4ad}, issn = {1866-5705}, issue = {3, Metrics}, journal = {testing experience, The Magazine for Professional Testers}, keywords = {coverage mbt myown nondeterminism testing}, month = {September}, pages = {104--106}, publisher = {Díaz & Hilterscheid}, timestamp = {2011-02-23T17:35:16.000+0100}, title = {Coverage Criteria for Nondeterministic Systems}, year = 2010 }