%0 Conference Paper %1 conf/dcfs/KupfermanP22 %A Kupferman, Orna %A Petruschka, Asaf %B DCFS %D 2022 %E Han, Yo-Sub %E Vaszil, György %I Springer %K dblp %P 155-169 %T Lazy Regular Sensing. %U http://dblp.uni-trier.de/db/conf/dcfs/dcfs2022.html#KupfermanP22 %V 13439 %@ 978-3-031-13257-5

@inproceedings{conf/dcfs/KupfermanP22, added-at = {2022-08-25T00:00:00.000+0200}, author = {Kupferman, Orna and Petruschka, Asaf}, biburl = {https://www.bibsonomy.org/bibtex/2462c6e6e54a4d1633f47a13fb619f3f9/dblp}, booktitle = {DCFS}, crossref = {conf/dcfs/2022}, editor = {Han, Yo-Sub and Vaszil, György}, ee = {https://doi.org/10.1007/978-3-031-13257-5_12}, interhash = {ab2c469950de8eefdce157b72e4e20d7}, intrahash = {462c6e6e54a4d1633f47a13fb619f3f9}, isbn = {978-3-031-13257-5}, keywords = {dblp}, pages = {155-169}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:00:26.000+0200}, title = {Lazy Regular Sensing.}, url = {http://dblp.uni-trier.de/db/conf/dcfs/dcfs2022.html#KupfermanP22}, volume = 13439, year = 2022 }