%0 Journal Article %1 journals/tplp/FalaschiV06 %A Falaschi, Moreno %A Villanueva, Alicia %D 2006 %J Theory Pract. Log. Program. %K dblp %N 3 %P 265-300 %T Automatic verification of timed concurrent constraint programs. %U http://dblp.uni-trier.de/db/journals/tplp/tplp6.html#FalaschiV06 %V 6

@article{journals/tplp/FalaschiV06, added-at = {2021-07-25T00:00:00.000+0200}, author = {Falaschi, Moreno and Villanueva, Alicia}, biburl = {https://www.bibsonomy.org/bibtex/264ed541d15993900996b58be1659d7b0/dblp}, ee = {https://doi.org/10.1017/S1471068406002675}, interhash = {e16b7f9c50d7e5dba9464fed6ed4421e}, intrahash = {64ed541d15993900996b58be1659d7b0}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 3, pages = {265-300}, timestamp = {2024-04-09T05:34:36.000+0200}, title = {Automatic verification of timed concurrent constraint programs.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp6.html#FalaschiV06}, volume = 6, year = 2006 }