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: 24 April 2024 17:51 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 17:51, April 24, 2024 from https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404.
MLA style
"Temporal logic." formulasearchengine, . 18 Oct 2014, 23:17 UTC. 24 Apr 2024, 17:51 <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 24 April 2024]
Chicago style
formulasearchengine contributors, "Temporal logic," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Temporal_logic&oldid=228404 (accessed April 24, 2024).
CBE/CSE style
formulasearchengine contributors. Temporal logic [Internet]. formulasearchengine, ; 2014 Oct 18, 23:17 UTC [cited 2024 Apr 24]. 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 April 24, 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 24-April-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 24-April-2024]" }