%0 Conference Paper %1 conf/fossacs/DeckerT16 %A Decker, Normann %A Thoma, Daniel %B FoSSaCS %D 2016 %E Jacobs, Bart %E Löding, Christof %I Springer %K dblp %P 269-284 %T On Freeze LTL with Ordered Attributes. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#DeckerT16 %V 9634 %@ 978-3-662-49629-9

@inproceedings{conf/fossacs/DeckerT16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Decker, Normann and Thoma, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/23aaf1820424315798ba4926e90ae3e96/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2016}, editor = {Jacobs, Bart and Löding, Christof}, ee = {https://doi.org/10.1007/978-3-662-49630-5_16}, interhash = {fc666f6bc11ec1d077609df8574b1fae}, intrahash = {3aaf1820424315798ba4926e90ae3e96}, isbn = {978-3-662-49629-9}, keywords = {dblp}, pages = {269-284}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:18.000+0200}, title = {On Freeze LTL with Ordered Attributes.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#DeckerT16}, volume = 9634, year = 2016 }