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