Alicia Villanueva. Model checking for the concurrent constraint paradigm. AI Commun., 17(2):93-94, 2004. [doi]
@article{Villanueva04,
title = {Model checking for the concurrent constraint paradigm},
author = {Alicia Villanueva},
year = {2004},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=17&issue=2&spage=93},
tags = {model checking, meta-model, constraints, Meta-Environment},
researchr = {https://researchr.org/publication/Villanueva04},
cites = {0},
citedby = {0},
journal = {AI Commun.},
volume = {17},
number = {2},
pages = {93-94},
}