Theory and Practice of Logic Programming (2006), 6 : 265-300 Cambridge University Press
Copyright © 2006 Cambridge University Press
doi:10.1017/S1471068406002675 (About doi)
Published online by Cambridge University Press 11 May 2006
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=435567
Copy and paste this citation
MORENO FALASCHI
and ALICIA VILLANUEVA
(2006).
Automatic verification of timed concurrent constraint programs. Theory and Practice of Logic Programming,
6
,
pp 265-300
doi:10.1017/S1471068406002675
doi:10.1017/S1471068406002675
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
