%0 Conference Paper %1 conf/fossacs/DemriS10 %A Demri, Stéphane %A Sangnier, Arnaud %B FoSSaCS %D 2010 %E Ong, C.-H. Luke %I Springer %K dblp %P 176-190 %T When Model-Checking Freeze LTL over Counter Machines Becomes Decidable. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2010.html#DemriS10 %V 6014 %@ 978-3-642-12031-2

@inproceedings{conf/fossacs/DemriS10, added-at = {2021-10-14T00:00:00.000+0200}, author = {Demri, Stéphane and Sangnier, Arnaud}, biburl = {https://www.bibsonomy.org/bibtex/29d12aa3be66eb3dab790c71b86b2cb5f/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2010}, editor = {Ong, C.-H. Luke}, ee = {https://doi.org/10.1007/978-3-642-12032-9_13}, interhash = {47aa8d7b0a3f0485f48416e027cebdd0}, intrahash = {9d12aa3be66eb3dab790c71b86b2cb5f}, isbn = {978-3-642-12031-2}, keywords = {dblp}, pages = {176-190}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:25:35.000+0200}, title = {When Model-Checking Freeze LTL over Counter Machines Becomes Decidable.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2010.html#DemriS10}, volume = 6014, year = 2010 }