DMCA

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
Citations:6 - 2 self