Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136198392> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W3136198392 created "2021-03-29" @default.
- W3136198392 creator A5030335506 @default.
- W3136198392 creator A5076369114 @default.
- W3136198392 date "2006-11-05" @default.
- W3136198392 modified "2023-09-23" @default.
- W3136198392 title "Session details: Advances in model checking" @default.
- W3136198392 doi "https://doi.org/10.1145/3258948" @default.
- W3136198392 hasPublicationYear "2006" @default.
- W3136198392 type Work @default.
- W3136198392 sameAs 3136198392 @default.
- W3136198392 citedByCount "0" @default.
- W3136198392 crossrefType "proceedings-article" @default.
- W3136198392 hasAuthorship W3136198392A5030335506 @default.
- W3136198392 hasAuthorship W3136198392A5076369114 @default.
- W3136198392 hasConcept C136764020 @default.
- W3136198392 hasConcept C2779182362 @default.
- W3136198392 hasConcept C41008148 @default.
- W3136198392 hasConceptScore W3136198392C136764020 @default.
- W3136198392 hasConceptScore W3136198392C2779182362 @default.
- W3136198392 hasConceptScore W3136198392C41008148 @default.
- W3136198392 hasLocation W31361983921 @default.
- W3136198392 hasOpenAccess W3136198392 @default.
- W3136198392 hasPrimaryLocation W31361983921 @default.
- W3136198392 hasRelatedWork W2794990662 @default.
- W3136198392 hasRelatedWork W2892658847 @default.
- W3136198392 hasRelatedWork W2913321280 @default.
- W3136198392 hasRelatedWork W2914943237 @default.
- W3136198392 hasRelatedWork W3000292823 @default.
- W3136198392 hasRelatedWork W3014746080 @default.
- W3136198392 hasRelatedWork W3136296337 @default.
- W3136198392 hasRelatedWork W3136457290 @default.
- W3136198392 hasRelatedWork W3136701655 @default.
- W3136198392 hasRelatedWork W3137089389 @default.
- W3136198392 hasRelatedWork W3137499617 @default.
- W3136198392 hasRelatedWork W3137586584 @default.
- W3136198392 hasRelatedWork W3137703451 @default.
- W3136198392 hasRelatedWork W3138134580 @default.
- W3136198392 hasRelatedWork W3138426055 @default.
- W3136198392 hasRelatedWork W3139005849 @default.
- W3136198392 hasRelatedWork W3139338011 @default.
- W3136198392 hasRelatedWork W3139368654 @default.
- W3136198392 hasRelatedWork W3160705248 @default.
- W3136198392 hasRelatedWork W3162416238 @default.
- W3136198392 isParatext "false" @default.
- W3136198392 isRetracted "false" @default.
- W3136198392 magId "3136198392" @default.
- W3136198392 workType "article" @default.