Back to Results
First PageMeta Content
Mathematics / Linear temporal logic / CTL* / Interpretation / Computation tree logic / Kripke structure / Well-formed formula / Quantification / Model theory / Logic / Mathematical logic / Temporal logic


A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2,
Add to Reading List

Document Date: 2014-06-27 10:56:07

Open Document

File Size: 560,01 KB

Share Result on Facebook
UPDATE