Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105618388> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2105618388 abstract "In this paper we calculate the minimal number of states of Buchi automata which encode some classes of linear temporal logic (LTL) formulas that are frequently used in model checking. Our results may be used for verification of the quality of algorithms which automatically translate LTL formulas into Buchi automata and for improving the quality and speed of such translators. In the last section of this paper we compare our lower-bound estimations to Buchi automata generated by two currently used translators: LTL2BA and SPOT." @default.
- W2105618388 created "2016-06-24" @default.
- W2105618388 creator A5021734641 @default.
- W2105618388 creator A5046747432 @default.
- W2105618388 creator A5087145681 @default.
- W2105618388 date "2009-01-01" @default.
- W2105618388 modified "2023-09-25" @default.
- W2105618388 title "Minimal Büchi Automata for Certain Classes of LTL Formulas" @default.
- W2105618388 cites W1512705201 @default.
- W2105618388 cites W1539432158 @default.
- W2105618388 cites W1544607874 @default.
- W2105618388 cites W1599932478 @default.
- W2105618388 cites W1607782211 @default.
- W2105618388 cites W1933035759 @default.
- W2105618388 cites W1986742819 @default.
- W2105618388 cites W2023808162 @default.
- W2105618388 cites W2086440639 @default.
- W2105618388 cites W2089003125 @default.
- W2105618388 cites W2138856440 @default.
- W2105618388 cites W2568050379 @default.
- W2105618388 doi "https://doi.org/10.1109/depcos-relcomex.2009.31" @default.
- W2105618388 hasPublicationYear "2009" @default.
- W2105618388 type Work @default.
- W2105618388 sameAs 2105618388 @default.
- W2105618388 citedByCount "15" @default.
- W2105618388 countsByYear W21056183882012 @default.
- W2105618388 countsByYear W21056183882013 @default.
- W2105618388 countsByYear W21056183882014 @default.
- W2105618388 countsByYear W21056183882015 @default.
- W2105618388 countsByYear W21056183882016 @default.
- W2105618388 countsByYear W21056183882018 @default.
- W2105618388 crossrefType "proceedings-article" @default.
- W2105618388 hasAuthorship W2105618388A5021734641 @default.
- W2105618388 hasAuthorship W2105618388A5046747432 @default.
- W2105618388 hasAuthorship W2105618388A5087145681 @default.
- W2105618388 hasConcept C104317684 @default.
- W2105618388 hasConcept C110251889 @default.
- W2105618388 hasConcept C112505250 @default.
- W2105618388 hasConcept C11413529 @default.
- W2105618388 hasConcept C118615104 @default.
- W2105618388 hasConcept C165753454 @default.
- W2105618388 hasConcept C185592680 @default.
- W2105618388 hasConcept C194525867 @default.
- W2105618388 hasConcept C25016198 @default.
- W2105618388 hasConcept C33923547 @default.
- W2105618388 hasConcept C41008148 @default.
- W2105618388 hasConcept C4777664 @default.
- W2105618388 hasConcept C55493867 @default.
- W2105618388 hasConcept C66746571 @default.
- W2105618388 hasConcept C80444323 @default.
- W2105618388 hasConceptScore W2105618388C104317684 @default.
- W2105618388 hasConceptScore W2105618388C110251889 @default.
- W2105618388 hasConceptScore W2105618388C112505250 @default.
- W2105618388 hasConceptScore W2105618388C11413529 @default.
- W2105618388 hasConceptScore W2105618388C118615104 @default.
- W2105618388 hasConceptScore W2105618388C165753454 @default.
- W2105618388 hasConceptScore W2105618388C185592680 @default.
- W2105618388 hasConceptScore W2105618388C194525867 @default.
- W2105618388 hasConceptScore W2105618388C25016198 @default.
- W2105618388 hasConceptScore W2105618388C33923547 @default.
- W2105618388 hasConceptScore W2105618388C41008148 @default.
- W2105618388 hasConceptScore W2105618388C4777664 @default.
- W2105618388 hasConceptScore W2105618388C55493867 @default.
- W2105618388 hasConceptScore W2105618388C66746571 @default.
- W2105618388 hasConceptScore W2105618388C80444323 @default.
- W2105618388 hasLocation W21056183881 @default.
- W2105618388 hasOpenAccess W2105618388 @default.
- W2105618388 hasPrimaryLocation W21056183881 @default.
- W2105618388 hasRelatedWork W1492929237 @default.
- W2105618388 hasRelatedWork W1507116188 @default.
- W2105618388 hasRelatedWork W1512705201 @default.
- W2105618388 hasRelatedWork W1516806823 @default.
- W2105618388 hasRelatedWork W1607782211 @default.
- W2105618388 hasRelatedWork W1915945840 @default.
- W2105618388 hasRelatedWork W1996949332 @default.
- W2105618388 hasRelatedWork W20458949 @default.
- W2105618388 hasRelatedWork W2089003125 @default.
- W2105618388 hasRelatedWork W2127726675 @default.
- W2105618388 hasRelatedWork W2146706022 @default.
- W2105618388 hasRelatedWork W2186375079 @default.
- W2105618388 hasRelatedWork W2220943244 @default.
- W2105618388 hasRelatedWork W2354457832 @default.
- W2105618388 hasRelatedWork W2470249817 @default.
- W2105618388 hasRelatedWork W2744368680 @default.
- W2105618388 hasRelatedWork W2770804486 @default.
- W2105618388 hasRelatedWork W2888984786 @default.
- W2105618388 hasRelatedWork W3160174216 @default.
- W2105618388 hasRelatedWork W430052782 @default.
- W2105618388 isParatext "false" @default.
- W2105618388 isRetracted "false" @default.
- W2105618388 magId "2105618388" @default.
- W2105618388 workType "article" @default.