VOLUME 16 | 2011 | NUMBER 1 |
Generating Optimal Distinguishing Sequences for Testing Timed Protocols
Pages 49–65
Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2011-049, author = {Ariel Stulman}, title = {Generating Optimal Distinguishing Sequences for Testing Timed Protocols}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {16}, number = {1}, pages = {49--65}, year = {2011}, url = {https://doi.org/10.25596/jalc-2011-049}, doi = {10.25596/jalc-2011-049} }