State identification problems for timed automata (2005)

by Moez Krichen, Stavros Tripakis
Venue:Proc. of the 17th IFIP Int’l Conf. on Testing of Communicating Systems (TestCom 2005). LNCS 3502