%0 Generic %1 Peleska08 %A Peleska, Jan %D 2008 %J ICTAC %K conformance_relation formal mbt testing %T A Formal Introduction to Model-Based Testing Part I: Exhaustive Testing Methods

@presentation{Peleska08, added-at = {2010-12-13T14:44:03.000+0100}, author = {Peleska, Jan}, biburl = {https://www.bibsonomy.org/bibtex/220d97d7c1a9241fa1ecbee40ce89b67b/davef}, interhash = {51b2707a994290f1dccf4a19a0b3b6ad}, intrahash = {20d97d7c1a9241fa1ecbee40ce89b67b}, journal = {ICTAC}, keydf = {mbt...-1}, keywords = {conformance_relation formal mbt testing}, timestamp = {2010-12-13T14:44:03.000+0100}, title = {A Formal Introduction to Model-Based Testing Part I: Exhaustive Testing Methods}, year = 2008 }