Cite This Page
Bibliographic details for 18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation)
- Page name: 18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation)
- Author: WikiPatents contributors
- Publisher: WikiPatents, .
- Date of last revision: 26 April 2024 06:01 UTC
- Date retrieved: 27 June 2024 05:12 UTC
- Permanent URL: http://wikipatents.org/index.php?title=18394854._SEMI-AUTOMATIC_TOOL_TO_CREATE_FORMAL_VERIFICATION_MODELS_simplified_abstract_(Intel_Corporation)&oldid=58149
- Page Version ID: 58149
Citation styles for 18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation)
APA style
18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation). (2024, April 26). WikiPatents, . Retrieved 05:12, June 27, 2024 from http://wikipatents.org/index.php?title=18394854._SEMI-AUTOMATIC_TOOL_TO_CREATE_FORMAL_VERIFICATION_MODELS_simplified_abstract_(Intel_Corporation)&oldid=58149.
MLA style
"18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation)." WikiPatents, . 26 Apr 2024, 06:01 UTC. 27 Jun 2024, 05:12 <http://wikipatents.org/index.php?title=18394854._SEMI-AUTOMATIC_TOOL_TO_CREATE_FORMAL_VERIFICATION_MODELS_simplified_abstract_(Intel_Corporation)&oldid=58149>.
MHRA style
WikiPatents contributors, '18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation)', WikiPatents, , 26 April 2024, 06:01 UTC, <http://wikipatents.org/index.php?title=18394854._SEMI-AUTOMATIC_TOOL_TO_CREATE_FORMAL_VERIFICATION_MODELS_simplified_abstract_(Intel_Corporation)&oldid=58149> [accessed 27 June 2024]
Chicago style
WikiPatents contributors, "18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation)," WikiPatents, , http://wikipatents.org/index.php?title=18394854._SEMI-AUTOMATIC_TOOL_TO_CREATE_FORMAL_VERIFICATION_MODELS_simplified_abstract_(Intel_Corporation)&oldid=58149 (accessed June 27, 2024).
CBE/CSE style
WikiPatents contributors. 18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation) [Internet]. WikiPatents, ; 2024 Apr 26, 06:01 UTC [cited 2024 Jun 27]. Available from: http://wikipatents.org/index.php?title=18394854._SEMI-AUTOMATIC_TOOL_TO_CREATE_FORMAL_VERIFICATION_MODELS_simplified_abstract_(Intel_Corporation)&oldid=58149.
Bluebook style
18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation), http://wikipatents.org/index.php?title=18394854._SEMI-AUTOMATIC_TOOL_TO_CREATE_FORMAL_VERIFICATION_MODELS_simplified_abstract_(Intel_Corporation)&oldid=58149 (last visited June 27, 2024).
BibTeX entry
@misc{ wiki:xxx,
author = "WikiPatents",
title = "18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation) --- WikiPatents{,} ",
year = "2024",
url = "http://wikipatents.org/index.php?title=18394854._SEMI-AUTOMATIC_TOOL_TO_CREATE_FORMAL_VERIFICATION_MODELS_simplified_abstract_(Intel_Corporation)&oldid=58149",
note = "[Online; accessed 27-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 = "WikiPatents",
title = "18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation) --- WikiPatents{,} ",
year = "2024",
url = "\url{http://wikipatents.org/index.php?title=18394854._SEMI-AUTOMATIC_TOOL_TO_CREATE_FORMAL_VERIFICATION_MODELS_simplified_abstract_(Intel_Corporation)&oldid=58149}",
note = "[Online; accessed 27-June-2024]"
}
