Amanote Research
Register
Sign In
Linear Temporal Logic and Propositional Schemata, Back and Forth
doi 10.1109/time.2011.11
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2011
Authors
Vincent Aravantinos
Ricardo Caferra
Nicolas Peltier
Publisher
IEEE
