@conference {12781,
	title = {Infinite Probabilistic and Nonprobabilistic Testing*},
	booktitle = {Foundations of software technology and theoretical computer science: 18th Conference, Chennai, India, December 17-19, 1998: proceedings},
	year = {1998},
	month = {1998///},
	pages = {209 - 209},
	author = {Kumar,K. N and Cleaveland, Rance and Smolka,S. A}
}
