Matches in SemOpenAlex for { <https://semopenalex.org/work/W180747137> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W180747137 created "2016-06-24" @default.
- W180747137 creator A5002512849 @default.
- W180747137 creator A5061044883 @default.
- W180747137 creator A5066155126 @default.
- W180747137 date "2001-01-01" @default.
- W180747137 modified "2023-10-17" @default.
- W180747137 title "LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects" @default.
- W180747137 cites W130537534 @default.
- W180747137 cites W1481843134 @default.
- W180747137 cites W1483359125 @default.
- W180747137 cites W1497571013 @default.
- W180747137 cites W1504739534 @default.
- W180747137 cites W1516806823 @default.
- W180747137 cites W153567890 @default.
- W180747137 cites W1536783297 @default.
- W180747137 cites W1555593767 @default.
- W180747137 cites W1565700207 @default.
- W180747137 cites W1588557629 @default.
- W180747137 cites W1592359484 @default.
- W180747137 cites W1595593557 @default.
- W180747137 cites W1599489402 @default.
- W180747137 cites W1607782211 @default.
- W180747137 cites W1881102326 @default.
- W180747137 cites W1916487582 @default.
- W180747137 cites W1975425602 @default.
- W180747137 cites W1975914482 @default.
- W180747137 cites W1977553951 @default.
- W180747137 cites W1980487816 @default.
- W180747137 cites W2007541742 @default.
- W180747137 cites W2028965700 @default.
- W180747137 cites W2040060046 @default.
- W180747137 cites W2080593426 @default.
- W180747137 cites W2088126145 @default.
- W180747137 cites W2090106217 @default.
- W180747137 cites W2105033638 @default.
- W180747137 cites W2108959714 @default.
- W180747137 cites W2135274583 @default.
- W180747137 cites W2147593930 @default.
- W180747137 cites W2158395308 @default.
- W180747137 cites W2170577595 @default.
- W180747137 cites W2913459036 @default.
- W180747137 cites W298244054 @default.
- W180747137 hasPublicationYear "2001" @default.
- W180747137 type Work @default.
- W180747137 sameAs 180747137 @default.
- W180747137 citedByCount "5" @default.
- W180747137 crossrefType "journal-article" @default.
- W180747137 hasAuthorship W180747137A5002512849 @default.
- W180747137 hasAuthorship W180747137A5061044883 @default.
- W180747137 hasAuthorship W180747137A5066155126 @default.
- W180747137 hasConcept C110251889 @default.
- W180747137 hasConcept C193702766 @default.
- W180747137 hasConcept C199360897 @default.
- W180747137 hasConcept C41008148 @default.
- W180747137 hasConcept C80444323 @default.
- W180747137 hasConceptScore W180747137C110251889 @default.
- W180747137 hasConceptScore W180747137C193702766 @default.
- W180747137 hasConceptScore W180747137C199360897 @default.
- W180747137 hasConceptScore W180747137C41008148 @default.
- W180747137 hasConceptScore W180747137C80444323 @default.
- W180747137 hasLocation W1807471371 @default.
- W180747137 hasOpenAccess W180747137 @default.
- W180747137 hasPrimaryLocation W1807471371 @default.
- W180747137 hasRelatedWork W1493222783 @default.
- W180747137 hasRelatedWork W1572879631 @default.
- W180747137 hasRelatedWork W1991837261 @default.
- W180747137 hasRelatedWork W2000162135 @default.
- W180747137 hasRelatedWork W2001071471 @default.
- W180747137 hasRelatedWork W2007541742 @default.
- W180747137 hasRelatedWork W2022644374 @default.
- W180747137 hasRelatedWork W2043100293 @default.
- W180747137 hasRelatedWork W2061343176 @default.
- W180747137 hasRelatedWork W2090677007 @default.
- W180747137 hasRelatedWork W2098035443 @default.
- W180747137 hasRelatedWork W2108959714 @default.
- W180747137 hasRelatedWork W2139734653 @default.
- W180747137 hasRelatedWork W2160838104 @default.
- W180747137 hasRelatedWork W2296151277 @default.
- W180747137 hasRelatedWork W2553899165 @default.
- W180747137 hasRelatedWork W2913459036 @default.
- W180747137 hasRelatedWork W3141784939 @default.
- W180747137 hasRelatedWork W3193804088 @default.
- W180747137 hasRelatedWork W93751600 @default.
- W180747137 isParatext "false" @default.
- W180747137 isRetracted "false" @default.
- W180747137 magId "180747137" @default.
- W180747137 workType "article" @default.