Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297757778> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W4297757778 created "2022-10-01" @default.
- W4297757778 creator A5006881035 @default.
- W4297757778 creator A5017443257 @default.
- W4297757778 creator A5028283340 @default.
- W4297757778 creator A5068884333 @default.
- W4297757778 creator A5089849259 @default.
- W4297757778 date "2015-01-01" @default.
- W4297757778 modified "2023-10-06" @default.
- W4297757778 title "Specifying and Verifying Concurrent C Programs with TLA+" @default.
- W4297757778 hasPublicationYear "2015" @default.
- W4297757778 type Work @default.
- W4297757778 citedByCount "0" @default.
- W4297757778 crossrefType "book-chapter" @default.
- W4297757778 hasAuthorship W4297757778A5006881035 @default.
- W4297757778 hasAuthorship W4297757778A5017443257 @default.
- W4297757778 hasAuthorship W4297757778A5028283340 @default.
- W4297757778 hasAuthorship W4297757778A5068884333 @default.
- W4297757778 hasAuthorship W4297757778A5089849259 @default.
- W4297757778 hasConcept C199360897 @default.
- W4297757778 hasConcept C41008148 @default.
- W4297757778 hasConceptScore W4297757778C199360897 @default.
- W4297757778 hasConceptScore W4297757778C41008148 @default.
- W4297757778 hasLocation W42977577781 @default.
- W4297757778 hasLocation W42977577782 @default.
- W4297757778 hasOpenAccess W4297757778 @default.
- W4297757778 hasPrimaryLocation W42977577781 @default.
- W4297757778 hasRelatedWork W2109507516 @default.
- W4297757778 hasRelatedWork W2112962394 @default.
- W4297757778 hasRelatedWork W2118300983 @default.
- W4297757778 hasRelatedWork W2166247150 @default.
- W4297757778 hasRelatedWork W2382501300 @default.
- W4297757778 hasRelatedWork W2740990710 @default.
- W4297757778 hasRelatedWork W3137189469 @default.
- W4297757778 hasRelatedWork W3162240892 @default.
- W4297757778 hasRelatedWork W4235530921 @default.
- W4297757778 hasRelatedWork W4243252198 @default.
- W4297757778 isParatext "false" @default.
- W4297757778 isRetracted "false" @default.
- W4297757778 workType "book-chapter" @default.