Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Reachability Analysis via Specialization of Constraint Logic Programs. APL Newsletter. (2011)
Full text not available from this repository.
Official URL: http://www.cs.nmsu.edu/ALP/2011/09/reachability-an...
| Item Type: | Article |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Users 40 not found. |
| Date Deposited: | 26 Sep 2012 13:50 |
| Last Modified: | 07 Mar 2013 12:56 |
| URI: | http://eprints.imtlucca.it/id/eprint/1384 |
Actions (login required)
 |
Edit Item |
