Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierluigi San Pietro
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Deque Languages, Automata and Planar Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
