Matches in SemOpenAlex for { <https://semopenalex.org/work/W67685885> ?p ?o ?g. }
- W67685885 endingPage "200" @default.
- W67685885 startingPage "182" @default.
- W67685885 created "2016-06-24" @default.
- W67685885 creator A5053423266 @default.
- W67685885 creator A5068015318 @default.
- W67685885 creator A5078403066 @default.
- W67685885 date "2012-01-01" @default.
- W67685885 modified "2023-09-30" @default.
- W67685885 title "Timed CTL Model Checking in Real-Time Maude" @default.
- W67685885 cites W133846551 @default.
- W67685885 cites W135312039 @default.
- W67685885 cites W1496459140 @default.
- W67685885 cites W1511538751 @default.
- W67685885 cites W1539155578 @default.
- W67685885 cites W1885037678 @default.
- W67685885 cites W1962072139 @default.
- W67685885 cites W1979754763 @default.
- W67685885 cites W1981808971 @default.
- W67685885 cites W1981830522 @default.
- W67685885 cites W2006340882 @default.
- W67685885 cites W2011886298 @default.
- W67685885 cites W2019810307 @default.
- W67685885 cites W2023499821 @default.
- W67685885 cites W2042601303 @default.
- W67685885 cites W2047562474 @default.
- W67685885 cites W2071876944 @default.
- W67685885 cites W2098851201 @default.
- W67685885 cites W2098979034 @default.
- W67685885 cites W2101508170 @default.
- W67685885 cites W2105389929 @default.
- W67685885 cites W2136992253 @default.
- W67685885 cites W2141303335 @default.
- W67685885 cites W2141826787 @default.
- W67685885 cites W2161202152 @default.
- W67685885 cites W2169180789 @default.
- W67685885 cites W2169329060 @default.
- W67685885 cites W2169586608 @default.
- W67685885 cites W3099528593 @default.
- W67685885 cites W3150154295 @default.
- W67685885 cites W33864801 @default.
- W67685885 cites W4239629804 @default.
- W67685885 cites W4254417154 @default.
- W67685885 cites W67685885 @default.
- W67685885 cites W69221180 @default.
- W67685885 doi "https://doi.org/10.1007/978-3-642-34005-5_10" @default.
- W67685885 hasPublicationYear "2012" @default.
- W67685885 type Work @default.
- W67685885 sameAs 67685885 @default.
- W67685885 citedByCount "11" @default.
- W67685885 countsByYear W676858852012 @default.
- W67685885 countsByYear W676858852013 @default.
- W67685885 countsByYear W676858852016 @default.
- W67685885 countsByYear W676858852018 @default.
- W67685885 countsByYear W676858852019 @default.
- W67685885 countsByYear W676858852021 @default.
- W67685885 countsByYear W676858852022 @default.
- W67685885 crossrefType "book-chapter" @default.
- W67685885 hasAuthorship W67685885A5053423266 @default.
- W67685885 hasAuthorship W67685885A5068015318 @default.
- W67685885 hasAuthorship W67685885A5078403066 @default.
- W67685885 hasConcept C110251889 @default.
- W67685885 hasConcept C147969180 @default.
- W67685885 hasConcept C154317977 @default.
- W67685885 hasConcept C184337299 @default.
- W67685885 hasConcept C185592680 @default.
- W67685885 hasConcept C198008173 @default.
- W67685885 hasConcept C199360897 @default.
- W67685885 hasConcept C202751555 @default.
- W67685885 hasConcept C25016198 @default.
- W67685885 hasConcept C41008148 @default.
- W67685885 hasConcept C55493867 @default.
- W67685885 hasConcept C80444323 @default.
- W67685885 hasConceptScore W67685885C110251889 @default.
- W67685885 hasConceptScore W67685885C147969180 @default.
- W67685885 hasConceptScore W67685885C154317977 @default.
- W67685885 hasConceptScore W67685885C184337299 @default.
- W67685885 hasConceptScore W67685885C185592680 @default.
- W67685885 hasConceptScore W67685885C198008173 @default.
- W67685885 hasConceptScore W67685885C199360897 @default.
- W67685885 hasConceptScore W67685885C202751555 @default.
- W67685885 hasConceptScore W67685885C25016198 @default.
- W67685885 hasConceptScore W67685885C41008148 @default.
- W67685885 hasConceptScore W67685885C55493867 @default.
- W67685885 hasConceptScore W67685885C80444323 @default.
- W67685885 hasLocation W676858851 @default.
- W67685885 hasOpenAccess W67685885 @default.
- W67685885 hasPrimaryLocation W676858851 @default.
- W67685885 hasRelatedWork W1485309947 @default.
- W67685885 hasRelatedWork W2040233837 @default.
- W67685885 hasRelatedWork W2119610731 @default.
- W67685885 hasRelatedWork W2136741886 @default.
- W67685885 hasRelatedWork W2356566217 @default.
- W67685885 hasRelatedWork W2610066027 @default.
- W67685885 hasRelatedWork W2931443989 @default.
- W67685885 hasRelatedWork W4214723139 @default.
- W67685885 hasRelatedWork W4240265263 @default.
- W67685885 hasRelatedWork W4285254379 @default.
- W67685885 isParatext "false" @default.
- W67685885 isRetracted "false" @default.
- W67685885 magId "67685885" @default.