%0 Journal Article %1 journals/corr/KansoC14 %A Kanso, Bilal %A Chebaro, Omar %D 2014 %J CoRR %K %T Compositional Testing For FSM-Based Models. %U http://dblp.uni-trier.de/db/journals/corr/corr1406.html#KansoC14 %V abs/1406.2808

@article{journals/corr/KansoC14, added-at = {2023-12-12T20:17:02.000+0100}, author = {Kanso, Bilal and Chebaro, Omar}, biburl = {https://www.bibsonomy.org/bibtex/2ddd67453dfa4538227953e7ac13ffb63/admin}, ee = {http://arxiv.org/abs/1406.2808}, interhash = {2d06065504908f2b92824ea618728d23}, intrahash = {ddd67453dfa4538227953e7ac13ffb63}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T20:17:02.000+0100}, title = {Compositional Testing For FSM-Based Models.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1406.html#KansoC14}, volume = {abs/1406.2808}, year = 2014 }