Cite This Page

From HandWiki

Bibliographic details for Linear temporal logic to Büchi automaton

Citation styles for Linear temporal logic to Büchi automaton

APA style

Linear temporal logic to Büchi automaton. (2024, February 7). HandWiki, . Retrieved 00:42, May 1, 2024 from https://handwiki.org/wiki/index.php?title=Linear_temporal_logic_to_B%C3%BCchi_automaton&oldid=3384116.

MLA style

"Linear temporal logic to Büchi automaton." HandWiki, . 7 Feb 2024, 04:16 UTC. 1 May 2024, 00:42 <https://handwiki.org/wiki/index.php?title=Linear_temporal_logic_to_B%C3%BCchi_automaton&oldid=3384116>.

MHRA style

HandWiki contributors, 'Linear temporal logic to Büchi automaton', HandWiki, , 7 February 2024, 04:16 UTC, <https://handwiki.org/wiki/index.php?title=Linear_temporal_logic_to_B%C3%BCchi_automaton&oldid=3384116> [accessed 1 May 2024]

Chicago style

HandWiki contributors, "Linear temporal logic to Büchi automaton," HandWiki, , https://handwiki.org/wiki/index.php?title=Linear_temporal_logic_to_B%C3%BCchi_automaton&oldid=3384116 (accessed May 1, 2024).

CBE/CSE style

HandWiki contributors. Linear temporal logic to Büchi automaton [Internet]. HandWiki, ; 2024 Feb 7, 04:16 UTC [cited 2024 May 1]. Available from: https://handwiki.org/wiki/index.php?title=Linear_temporal_logic_to_B%C3%BCchi_automaton&oldid=3384116.

Bluebook style

Linear temporal logic to Büchi automaton, https://handwiki.org/wiki/index.php?title=Linear_temporal_logic_to_B%C3%BCchi_automaton&oldid=3384116 (last visited May 1, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "HandWiki",
   title = "Linear temporal logic to Büchi automaton --- HandWiki{,} ",
   year = "2024",
   url = "https://handwiki.org/wiki/index.php?title=Linear_temporal_logic_to_B%C3%BCchi_automaton&oldid=3384116",
   note = "[Online; accessed 1-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 = "HandWiki",
   title = "Linear temporal logic to Büchi automaton --- HandWiki{,} ",
   year = "2024",
   url = "\url{https://handwiki.org/wiki/index.php?title=Linear_temporal_logic_to_B%C3%BCchi_automaton&oldid=3384116}",
   note = "[Online; accessed 1-May-2024]"
 }


Retrieved from "https://handwiki.org/wiki/Special:CiteThisPage"