Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

CORR
2010
Springer

favoriteEmaildiscussreport

70views Education» more CORR 2010»

Bounded Reachability for Temporal Logic over Constraint Systems

13 years 3 months ago

Bounded Reachability for Temporal Logic over Constraint Systems

Download www.cs.unicam.it

Marcello M. Bersani, Achille Frigeri, Angelo Morze

Real-time Traffic

CORR 2010 | Education |

claim paper

Related Content

» On Reachability for Hybrid Automata over Bounded Time

» Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for I...

» Temporal Logics over Transitive States

» Using Redundant Constraints for Refinement

» Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

» An automatatheoretic approach to constraint LTL

» Lazy Theorem Proving for Bounded Model Checking over Infinite Domains

» From ModelChecking to Temporal Logic Constraint Solving

» Dynamic topological logics over spaces with continuous functions

Post Info
More Details (n/a)

Added	01 Feb 2011
Updated	01 Feb 2011
Type	Journal
Year	2010
Where	CORR
Authors	Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro

Comments (0)