eprintid: 1384
rev_number: 6
eprint_status: archive
userid: 40
dir: disk0/00/00/13/84
datestamp: 2012-09-26 13:50:03
lastmod: 2013-03-07 12:56:25
status_changed: 2012-09-26 13:50:03
type: article
metadata_visibility: show
creators_name: Fioravanti, Fabio
creators_name: Pettorossi, Alberto
creators_name: Proietti, Maurizio
creators_name: Senni, Valerio
creators_id: 
creators_id: 
creators_id: 
creators_id: valerio.senni@imtlucca.it
title: Reachability Analysis via Specialization of Constraint Logic Programs
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
date: 2011-09-30
date_type: published
publication: APL Newsletter
publisher: Association for Logic Programming
refereed: TRUE
official_url: http://www.cs.nmsu.edu/ALP/2011/09/reachability-analysis-via-specialization-of-constraint-logic-programs/
citation:   Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Reachability Analysis via Specialization of Constraint Logic Programs.  APL Newsletter.        (2011)