%0 Conference Paper %1 conf/fossacs/DemriLS08 %A Demri, Stéphane %A Lazic, Ranko %A Sangnier, Arnaud %B FoSSaCS %D 2008 %E Amadio, Roberto M. %I Springer %K dblp %P 490-504 %T Model Checking Freeze LTL over One-Counter Automata. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2008.html#DemriLS08 %V 4962 %@ 978-3-540-78497-5

@inproceedings{conf/fossacs/DemriLS08, added-at = {2021-10-14T00:00:00.000+0200}, author = {Demri, Stéphane and Lazic, Ranko and Sangnier, Arnaud}, biburl = {https://www.bibsonomy.org/bibtex/27c3573fb3a82e3c8f6008f70fc37ec98/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2008}, editor = {Amadio, Roberto M.}, ee = {https://doi.org/10.1007/978-3-540-78499-9_34}, interhash = {35b3809f9e9c9176835f5471fbf9bc2a}, intrahash = {7c3573fb3a82e3c8f6008f70fc37ec98}, isbn = {978-3-540-78497-5}, keywords = {dblp}, pages = {490-504}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:25:52.000+0200}, title = {Model Checking Freeze LTL over One-Counter Automata.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2008.html#DemriLS08}, volume = 4962, year = 2008 }