Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136010907> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W3136010907 created "2021-03-29" @default.
- W3136010907 creator A5020337959 @default.
- W3136010907 creator A5072898984 @default.
- W3136010907 date "2010-03-08" @default.
- W3136010907 modified "2023-09-27" @default.
- W3136010907 title "Session details: Industrially-oriented formal verification" @default.
- W3136010907 doi "https://doi.org/10.5555/1870926.3258322" @default.
- W3136010907 hasPublicationYear "2010" @default.
- W3136010907 type Work @default.
- W3136010907 sameAs 3136010907 @default.
- W3136010907 citedByCount "0" @default.
- W3136010907 crossrefType "proceedings-article" @default.
- W3136010907 hasAuthorship W3136010907A5020337959 @default.
- W3136010907 hasAuthorship W3136010907A5072898984 @default.
- W3136010907 hasConcept C111498074 @default.
- W3136010907 hasConcept C136764020 @default.
- W3136010907 hasConcept C199360897 @default.
- W3136010907 hasConcept C2779182362 @default.
- W3136010907 hasConcept C41008148 @default.
- W3136010907 hasConcept C75606506 @default.
- W3136010907 hasConceptScore W3136010907C111498074 @default.
- W3136010907 hasConceptScore W3136010907C136764020 @default.
- W3136010907 hasConceptScore W3136010907C199360897 @default.
- W3136010907 hasConceptScore W3136010907C2779182362 @default.
- W3136010907 hasConceptScore W3136010907C41008148 @default.
- W3136010907 hasConceptScore W3136010907C75606506 @default.
- W3136010907 hasLocation W31360109071 @default.
- W3136010907 hasOpenAccess W3136010907 @default.
- W3136010907 hasPrimaryLocation W31360109071 @default.
- W3136010907 hasRelatedWork W1514519234 @default.
- W3136010907 hasRelatedWork W1605343538 @default.
- W3136010907 hasRelatedWork W1971225576 @default.
- W3136010907 hasRelatedWork W2144972576 @default.
- W3136010907 hasRelatedWork W2185685632 @default.
- W3136010907 hasRelatedWork W2617256923 @default.
- W3136010907 hasRelatedWork W2893515460 @default.
- W3136010907 hasRelatedWork W2914186634 @default.
- W3136010907 hasRelatedWork W2914814364 @default.
- W3136010907 hasRelatedWork W2944883142 @default.
- W3136010907 hasRelatedWork W2978698050 @default.
- W3136010907 hasRelatedWork W3014126134 @default.
- W3136010907 hasRelatedWork W3014564317 @default.
- W3136010907 hasRelatedWork W3113065175 @default.
- W3136010907 hasRelatedWork W3113821154 @default.
- W3136010907 hasRelatedWork W3137086885 @default.
- W3136010907 hasRelatedWork W3137285559 @default.
- W3136010907 hasRelatedWork W3137296183 @default.
- W3136010907 hasRelatedWork W3138827310 @default.
- W3136010907 hasRelatedWork W3139345705 @default.
- W3136010907 isParatext "false" @default.
- W3136010907 isRetracted "false" @default.
- W3136010907 magId "3136010907" @default.
- W3136010907 workType "article" @default.