Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc160104, author = {Ariel Stulman}, title = {Generating Optimal Distinguishing Sequences for Testing Timed Protocols}, journal = jalc, year = 2011, volume = 16, number = {1}, pages = {39--54} }