Cite This Page
Bibliographic details for Region (model checking)
- Page name: Region (model checking)
- Author: HandWiki contributors
- Publisher: HandWiki, .
- Date of last revision: 7 February 2024 04:59 UTC
- Date retrieved: 21 September 2024 22:22 UTC
- Permanent URL: https://handwiki.org/wiki/index.php?title=Region_(model_checking)&oldid=3386297
- Page Version ID: 3386297
Citation styles for Region (model checking)
APA style
Region (model checking). (2024, February 7). HandWiki, . Retrieved 22:22, September 21, 2024 from https://handwiki.org/wiki/index.php?title=Region_(model_checking)&oldid=3386297.
MLA style
"Region (model checking)." HandWiki, . 7 Feb 2024, 04:59 UTC. 21 Sep 2024, 22:22 <https://handwiki.org/wiki/index.php?title=Region_(model_checking)&oldid=3386297>.
MHRA style
HandWiki contributors, 'Region (model checking)', HandWiki, , 7 February 2024, 04:59 UTC, <https://handwiki.org/wiki/index.php?title=Region_(model_checking)&oldid=3386297> [accessed 21 September 2024]
Chicago style
HandWiki contributors, "Region (model checking)," HandWiki, , https://handwiki.org/wiki/index.php?title=Region_(model_checking)&oldid=3386297 (accessed September 21, 2024).
CBE/CSE style
HandWiki contributors. Region (model checking) [Internet]. HandWiki, ; 2024 Feb 7, 04:59 UTC [cited 2024 Sep 21]. Available from: https://handwiki.org/wiki/index.php?title=Region_(model_checking)&oldid=3386297.
Bluebook style
Region (model checking), https://handwiki.org/wiki/index.php?title=Region_(model_checking)&oldid=3386297 (last visited September 21, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "HandWiki", title = "Region (model checking) --- HandWiki{,} ", year = "2024", url = "https://handwiki.org/wiki/index.php?title=Region_(model_checking)&oldid=3386297", note = "[Online; accessed 21-September-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 = "HandWiki", title = "Region (model checking) --- HandWiki{,} ", year = "2024", url = "\url{https://handwiki.org/wiki/index.php?title=Region_(model_checking)&oldid=3386297}", note = "[Online; accessed 21-September-2024]" }