%0 Conference Paper %1 conf/fsttcs/KumarCS98 %A Kumar, K. Narayan %A Cleaveland, Rance %A Smolka, Scott A. %B FSTTCS %D 1998 %E Arvind, Vikraman %E Ramanujam, Ramaswamy %I Springer %K dblp %P 209-220 %T Infinite Probabilistic and Nonprobabilistic Testing. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs98.html#KumarCS98 %V 1530 %@ 3-540-65384-8

@inproceedings{conf/fsttcs/KumarCS98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kumar, K. Narayan and Cleaveland, Rance and Smolka, Scott A.}, biburl = {https://www.bibsonomy.org/bibtex/2cfa688342640dd1d7e40ae40445374bb/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/1998}, editor = {Arvind, Vikraman and Ramanujam, Ramaswamy}, ee = {https://doi.org/10.1007/978-3-540-49382-2_19}, interhash = {309d33a7d09e6914079f8b58312e28c1}, intrahash = {cfa688342640dd1d7e40ae40445374bb}, isbn = {3-540-65384-8}, keywords = {dblp}, pages = {209-220}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:08:53.000+0200}, title = {Infinite Probabilistic and Nonprobabilistic Testing.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs98.html#KumarCS98}, volume = 1530, year = 1998 }