%0 Journal Article %1 journals/iandc/DemriDS15 %A Demri, Stéphane %A Dhar, Amit Kumar %A Sangnier, Arnaud %D 2015 %J Inf. Comput. %K dblp %P 306-339 %T Taming past LTL and flat counter systems. %U http://dblp.uni-trier.de/db/journals/iandc/iandc242.html#DemriDS15 %V 242

@article{journals/iandc/DemriDS15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Demri, Stéphane and Dhar, Amit Kumar and Sangnier, Arnaud}, biburl = {https://www.bibsonomy.org/bibtex/22d4b112886b52235a7d4b2b9a7c1963f/dblp}, ee = {https://doi.org/10.1016/j.ic.2015.03.007}, interhash = {f45b8d630427fdd241e1fd97c6ac3aad}, intrahash = {2d4b112886b52235a7d4b2b9a7c1963f}, journal = {Inf. Comput.}, keywords = {dblp}, pages = {306-339}, timestamp = {2024-04-09T06:07:22.000+0200}, title = {Taming past LTL and flat counter systems.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc242.html#DemriDS15}, volume = 242, year = 2015 }