%0 Journal Article %1 journals/tosem/DiepDE11 %A Diep, Madeline %A Dwyer, Matthew B. %A Elbaum, Sebastian G. %D 2011 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 1 %P 5:1-5:43 %T Lattice-Based Sampling for Path Property Monitoring. %U http://dblp.uni-trier.de/db/journals/tosem/tosem21.html#DiepDE11 %V 21

@article{journals/tosem/DiepDE11, added-at = {2020-12-29T00:00:00.000+0100}, author = {Diep, Madeline and Dwyer, Matthew B. and Elbaum, Sebastian G.}, biburl = {https://www.bibsonomy.org/bibtex/2f852996f0f48dda8b20f97c1d2833aba/dblp}, ee = {https://doi.org/10.1145/2063239.2063244}, interhash = {325c3dec4bfd483c3952783cb7b2bef3}, intrahash = {f852996f0f48dda8b20f97c1d2833aba}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 1, pages = {5:1-5:43}, timestamp = {2024-04-09T02:03:06.000+0200}, title = {Lattice-Based Sampling for Path Property Monitoring.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem21.html#DiepDE11}, volume = 21, year = 2011 }