@BOOK{ Book!D - 72166531,
AUTHOR = "Kroger, Fred",
TITLE = "Temporal logic and state systems",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Tense )Logic(,، Logic, Symbolic and mathematical,، Time",
URL = "/book/72166531/Temporal-logic-and-state-systems/"}