Article citationsMore>>

Hierons, R.M. and Türker, U.C. (2014) Distinguishing Sequences for Partially Specified FSMs. In: Badger, J.M. and Rozier, K.Y., Eds., NASA Formal Methods, Springer, Cham, 62-76.
http://dx.doi.org/10.1007/978-3-319-06200-6_5

has been cited by the following article: