Article citationsMore>>

Tretmans, J. (2008) Model Based Testing with Labelled Transition Systems. In: Hierons, R.M., Bowen, J.P. and Harman, M., Eds., Formal Methods and Testing, Lecture Notes in Computer Science, Vol. 4949, Springer, Berlin, 1-38.
http://dx.doi.org/10.1007/978-3-540-78917-8_1

has been cited by the following article: