Cite This Page
Bibliographic details for Coq2
- Page name: Coq2
- Author: XenWiki contributors
- Publisher: XenWiki, .
- Date of last revision: 10 February 2010 12:00 UTC
- Date retrieved: 2 June 2024 02:26 UTC
- Permanent URL: https://wiki.xenbase.org/xenwiki/index.php?title=Coq2&oldid=34820
- Page Version ID: 34820
Citation styles for Coq2
APA style
Coq2. (2010, February 10). XenWiki, . Retrieved 02:26, June 2, 2024 from https://wiki.xenbase.org/xenwiki/index.php?title=Coq2&oldid=34820.
MLA style
"Coq2." XenWiki, . 10 Feb 2010, 12:00 UTC. 2 Jun 2024, 02:26 <https://wiki.xenbase.org/xenwiki/index.php?title=Coq2&oldid=34820>.
MHRA style
XenWiki contributors, 'Coq2', XenWiki, , 10 February 2010, 12:00 UTC, <https://wiki.xenbase.org/xenwiki/index.php?title=Coq2&oldid=34820> [accessed 2 June 2024]
Chicago style
XenWiki contributors, "Coq2," XenWiki, , https://wiki.xenbase.org/xenwiki/index.php?title=Coq2&oldid=34820 (accessed June 2, 2024).
CBE/CSE style
XenWiki contributors. Coq2 [Internet]. XenWiki, ; 2010 Feb 10, 12:00 UTC [cited 2024 Jun 2]. Available from: https://wiki.xenbase.org/xenwiki/index.php?title=Coq2&oldid=34820.
Bluebook style
Coq2, https://wiki.xenbase.org/xenwiki/index.php?title=Coq2&oldid=34820 (last visited June 2, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "XenWiki", title = "Coq2 --- XenWiki{,} ", year = "2010", url = "https://wiki.xenbase.org/xenwiki/index.php?title=Coq2&oldid=34820", note = "[Online; accessed 2-June-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 = "XenWiki", title = "Coq2 --- XenWiki{,} ", year = "2010", url = "\url{https://wiki.xenbase.org/xenwiki/index.php?title=Coq2&oldid=34820}", note = "[Online; accessed 2-June-2024]" }