%0 Conference Paper %1 conf/mfcs/ColcombetLP11 %A Colcombet, Thomas %A Ley, Clemens %A Puppis, Gabriele %B MFCS %D 2011 %E Murlak, Filip %E Sankowski, Piotr %I Springer %K dblp %P 243-255 %T On the Use of Guards for Logics with Data. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2011.html#ColcombetLP11 %V 6907 %@ 978-3-642-22992-3

@inproceedings{conf/mfcs/ColcombetLP11, added-at = {2021-04-09T00:00:00.000+0200}, author = {Colcombet, Thomas and Ley, Clemens and Puppis, Gabriele}, biburl = {https://www.bibsonomy.org/bibtex/253b24a95bd5a4604ee08899f65700300/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/2011}, editor = {Murlak, Filip and Sankowski, Piotr}, ee = {https://doi.org/10.1007/978-3-642-22993-0_24}, interhash = {2f90d0044f0324b80fa24d43a4cb1367}, intrahash = {53b24a95bd5a4604ee08899f65700300}, isbn = {978-3-642-22992-3}, keywords = {dblp}, pages = {243-255}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:07:23.000+0200}, title = {On the Use of Guards for Logics with Data.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2011.html#ColcombetLP11}, volume = 6907, year = 2011 }