Theory and Practice of Logic Programming (2006), 6 : 225-226 Cambridge University Press
Copyright © 2006 Cambridge University Press
doi:10.1017/S1471068406002638 (About doi)
Published online by Cambridge University Press 11 May 2006
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=435559
Copy and paste this citation
GIORGIO DELZANNO,
SANDRO ETALLE
and MAURIZIO GABBRIELLI
(2006).
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Theory and Practice of Logic Programming,
6
,
pp 225-226
doi:10.1017/S1471068406002638
doi:10.1017/S1471068406002638
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
