Nakata, K. (1994). An application of temporal logic for representation and reasoning about design (pp. 131–145). https://doi.org/10.1007/3-540-58095-6_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.