Model checking for the concurrent constraint paradigm

The Digital Librarian's Digital Library

DOCIS Documents in Computing and Information Science

Home >> Journals and Conference Proceedings >> AI Communications

Model checking for the concurrent constraint paradigm

Alicia Villanueva

Journal Title: AI Communications

Date: 2004

Volume: 17

Issue: 2

p. 93 - 94

For further information about this item go to:

http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=17&issue=2&spage=93

This data comes from DBLP

This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12