Divergence and fair testing (1995)

by V Natarajan, R Cleaveland
Venue:In 22th Int. Colloquium on Automata, Languages and Programming (ICALP’95). Lecture Notes in Computer Science