Back to Results
First PageMeta Content
Temporal logic / Linear temporal logic / Diagram / Symbol / FO


Temporal Modalities for Concisely Capturing Timing Diagrams Hana Chockler1,2 and Kathi Fisler1 1 Department of Computer Science, WPI,
Add to Reading List

Document Date: 2005-08-29 16:45:53


Open Document

File Size: 154,16 KB

Share Result on Facebook