Matches in SemOpenAlex for { <https://semopenalex.org/work/W3105442246> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W3105442246 created "2020-11-23" @default.
- W3105442246 creator A5002788951 @default.
- W3105442246 date "1997-01-01" @default.
- W3105442246 modified "2023-09-23" @default.
- W3105442246 title "Formal verification of railway interlockings" @default.
- W3105442246 hasPublicationYear "1997" @default.
- W3105442246 type Work @default.
- W3105442246 sameAs 3105442246 @default.
- W3105442246 citedByCount "4" @default.
- W3105442246 crossrefType "journal-article" @default.
- W3105442246 hasAuthorship W3105442246A5002788951 @default.
- W3105442246 hasConcept C41008148 @default.
- W3105442246 hasConceptScore W3105442246C41008148 @default.
- W3105442246 hasLocation W31054422461 @default.
- W3105442246 hasOpenAccess W3105442246 @default.
- W3105442246 hasPrimaryLocation W31054422461 @default.
- W3105442246 hasRelatedWork W1479238734 @default.
- W3105442246 hasRelatedWork W1549599666 @default.
- W3105442246 hasRelatedWork W2026841494 @default.
- W3105442246 hasRelatedWork W2146579902 @default.
- W3105442246 hasRelatedWork W2183483028 @default.
- W3105442246 hasRelatedWork W2283913897 @default.
- W3105442246 hasRelatedWork W2428169597 @default.
- W3105442246 hasRelatedWork W2476146527 @default.
- W3105442246 hasRelatedWork W2479985712 @default.
- W3105442246 hasRelatedWork W2948272845 @default.
- W3105442246 hasRelatedWork W2995164419 @default.
- W3105442246 hasRelatedWork W3015840122 @default.
- W3105442246 hasRelatedWork W3089230072 @default.
- W3105442246 hasRelatedWork W3118793933 @default.
- W3105442246 hasRelatedWork W3162970699 @default.
- W3105442246 hasRelatedWork W3168623040 @default.
- W3105442246 hasRelatedWork W941170252 @default.
- W3105442246 hasRelatedWork W2950232769 @default.
- W3105442246 hasVolume "4" @default.
- W3105442246 isParatext "false" @default.
- W3105442246 isRetracted "false" @default.
- W3105442246 magId "3105442246" @default.
- W3105442246 workType "article" @default.