%0 Conference Paper %1 conf/frocos/BurriezaG02 %A Burrieza, Alfredo %A de Guzmán, Inman P. %B FroCoS %D 2002 %E Armando, Alessandro %I Springer %K dblp %P 239-254 %T A Temporal × Modal Approach to the Definability of Properties of Functions. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2002.html#BurriezaG02 %V 2309 %@ 3-540-43381-3

@inproceedings{conf/frocos/BurriezaG02, added-at = {2017-05-21T00:00:00.000+0200}, author = {Burrieza, Alfredo and de Guzmán, Inman P.}, biburl = {https://www.bibsonomy.org/bibtex/2f2c9c8d1d364a52375de8d9e8ad6ecc8/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2002}, editor = {Armando, Alessandro}, ee = {https://doi.org/10.1007/3-540-45988-X_19}, interhash = {45175e165daeeab52645be970ac34860}, intrahash = {f2c9c8d1d364a52375de8d9e8ad6ecc8}, isbn = {3-540-43381-3}, keywords = {dblp}, pages = {239-254}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:02:34.000+0200}, title = {A Temporal × Modal Approach to the Definability of Properties of Functions.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2002.html#BurriezaG02}, volume = 2309, year = 2002 }