Øhrstrøm, P., & Per Hasle, F. V. (1995). The sea-fight tomorrow. In Temporal Logic (pp. 10–14). Springer Netherlands. https://doi.org/10.1007/978-0-585-37463-5_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.