%0 Journal Article %1 journals/aicom/Villanueva04 %A Villanueva, Alicia %D 2004 %J AI Commun. %K dblp %N 2 %P 93-94 %T Model checking for the concurrent constraint paradigm. %U http://dblp.uni-trier.de/db/journals/aicom/aicom17.html#Villanueva04 %V 17

@article{journals/aicom/Villanueva04, added-at = {2015-05-15T00:00:00.000+0200}, author = {Villanueva, Alicia}, biburl = {https://www.bibsonomy.org/bibtex/2eb88cfd90d0b41ce53d2a6ea23121037/dblp}, ee = {http://content.iospress.com/articles/ai-communications/aic305}, interhash = {6abd35c462bf0dce0839d39e812f9ca1}, intrahash = {eb88cfd90d0b41ce53d2a6ea23121037}, journal = {AI Commun.}, keywords = {dblp}, number = 2, pages = {93-94}, timestamp = {2015-06-17T22:04:25.000+0200}, title = {Model checking for the concurrent constraint paradigm.}, url = {http://dblp.uni-trier.de/db/journals/aicom/aicom17.html#Villanueva04}, volume = 17, year = 2004 }