%0 Book Section %1 conf/balt/AuzinsBBCK91 %A Auzins, Andrejs J. %A Barzdins, Janis %A Bicevskis, Janis %A Cerans, Karlis %A Kalnins, Audris %B Baltic Computer Science %D 1991 %E Barzdins, Janis %E Bjørner, Dines %I Springer %K dblp %P 286-359 %T Automatic Construction of Test Sets: Theoretical Approach. %U http://dblp.uni-trier.de/db/conf/balt/balt1991.html#AuzinsBBCK91 %V 502 %@ 3-540-54131-4

@incollection{conf/balt/AuzinsBBCK91, added-at = {2017-05-31T00:00:00.000+0200}, author = {Auzins, Andrejs J. and Barzdins, Janis and Bicevskis, Janis and Cerans, Karlis and Kalnins, Audris}, biburl = {https://www.bibsonomy.org/bibtex/2481a2692d44fe2475320a8a72201e36c/dblp}, booktitle = {Baltic Computer Science}, crossref = {conf/balt/1991}, editor = {Barzdins, Janis and Bjørner, Dines}, ee = {https://doi.org/10.1007/BFb0019362}, interhash = {82f5589b598a7113417f547af2f8d6ef}, intrahash = {481a2692d44fe2475320a8a72201e36c}, isbn = {3-540-54131-4}, keywords = {dblp}, pages = {286-359}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-06-01T11:38:42.000+0200}, title = {Automatic Construction of Test Sets: Theoretical Approach.}, url = {http://dblp.uni-trier.de/db/conf/balt/balt1991.html#AuzinsBBCK91}, volume = 502, year = 1991 }