Matches in SemOpenAlex for { <https://semopenalex.org/work/W4246577153> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- W4246577153 created "2022-05-12" @default.
- W4246577153 creator A5005630125 @default.
- W4246577153 creator A5064675157 @default.
- W4246577153 date "2003-01-07" @default.
- W4246577153 modified "2023-09-24" @default.
- W4246577153 title "A transformational method for verifying safety properties in real-time systems" @default.
- W4246577153 doi "https://doi.org/10.1109/real.1989.63562" @default.
- W4246577153 hasPublicationYear "2003" @default.
- W4246577153 type Work @default.
- W4246577153 citedByCount "6" @default.
- W4246577153 crossrefType "proceedings-article" @default.
- W4246577153 hasAuthorship W4246577153A5005630125 @default.
- W4246577153 hasAuthorship W4246577153A5064675157 @default.
- W4246577153 hasConcept C149635348 @default.
- W4246577153 hasConcept C17744445 @default.
- W4246577153 hasConcept C38775462 @default.
- W4246577153 hasConcept C39549134 @default.
- W4246577153 hasConcept C41008148 @default.
- W4246577153 hasConcept C79403827 @default.
- W4246577153 hasConceptScore W4246577153C149635348 @default.
- W4246577153 hasConceptScore W4246577153C17744445 @default.
- W4246577153 hasConceptScore W4246577153C38775462 @default.
- W4246577153 hasConceptScore W4246577153C39549134 @default.
- W4246577153 hasConceptScore W4246577153C41008148 @default.
- W4246577153 hasConceptScore W4246577153C79403827 @default.
- W4246577153 hasLocation W42465771531 @default.
- W4246577153 hasOpenAccess W4246577153 @default.
- W4246577153 hasPrimaryLocation W42465771531 @default.
- W4246577153 hasRelatedWork W1452406595 @default.
- W4246577153 hasRelatedWork W1480686809 @default.
- W4246577153 hasRelatedWork W2137812172 @default.
- W4246577153 hasRelatedWork W2201615437 @default.
- W4246577153 hasRelatedWork W2748952813 @default.
- W4246577153 hasRelatedWork W2899084033 @default.
- W4246577153 hasRelatedWork W2954424392 @default.
- W4246577153 hasRelatedWork W2955928055 @default.
- W4246577153 hasRelatedWork W2994084512 @default.
- W4246577153 hasRelatedWork W2772599543 @default.
- W4246577153 isParatext "false" @default.
- W4246577153 isRetracted "false" @default.
- W4246577153 workType "article" @default.