Cite This Page
Bibliographic details for Temporal logic
- Page name: Temporal logic
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 18 October 2014 23:17 UTC
- Date retrieved: 1 May 2024 12:58 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404
- Page Version ID: 228404
Citation styles for Temporal logic
APA style
Temporal logic. (2014, October 18). formulasearchengine, . Retrieved 12:58, May 1, 2024 from https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404.
MLA style
"Temporal logic." formulasearchengine, . 18 Oct 2014, 23:17 UTC. 1 May 2024, 12:58 <https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404>.
MHRA style
formulasearchengine contributors, 'Temporal logic', formulasearchengine, , 18 October 2014, 23:17 UTC, <https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404> [accessed 1 May 2024]
Chicago style
formulasearchengine contributors, "Temporal logic," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404 (accessed May 1, 2024).
CBE/CSE style
formulasearchengine contributors. Temporal logic [Internet]. formulasearchengine, ; 2014 Oct 18, 23:17 UTC [cited 2024 May 1]. Available from: https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404.
Bluebook style
Temporal logic, https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404 (last visited May 1, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Temporal logic --- formulasearchengine{,} ", year = "2014", url = "https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404", note = "[Online; accessed 1-May-2024]" }
When using the LaTeX package url (\usepackage{url}
somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred:
@misc{ wiki:xxx, author = "formulasearchengine", title = "Temporal logic --- formulasearchengine{,} ", year = "2014", url = "\url{https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404}", note = "[Online; accessed 1-May-2024]" }