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

First Page		Document Content
Date: 2005-08-29 16:45:53 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 Source URL: web.cs.wpi.edu Download Document from Source Website File Size: 154,16 KB Share Document on Facebook