From Wikipedia, the free encyclopedia

Untitled

There is an error in this article, LTL cannot describe all omega regular set. The linear mu-calculus can.

From Wikipedia, the free encyclopedia

Untitled

There is an error in this article, LTL cannot describe all omega regular set. The linear mu-calculus can.


Videos

Youtube | Vimeo | Bing

Websites

Google | Yahoo | Bing

Encyclopedia

Google | Yahoo | Bing

Facebook