Matches in SemOpenAlex for { <https://semopenalex.org/work/W4242869269> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4242869269 endingPage "197" @default.
- W4242869269 startingPage "197" @default.
- W4242869269 created "2022-05-12" @default.
- W4242869269 date "1993-02-01" @default.
- W4242869269 modified "2023-09-27" @default.
- W4242869269 title "A temporal logic approach to state reachability in real-time program synchronization and verification" @default.
- W4242869269 doi "https://doi.org/10.1016/0967-0661(93)92121-j" @default.
- W4242869269 hasPublicationYear "1993" @default.
- W4242869269 type Work @default.
- W4242869269 citedByCount "0" @default.
- W4242869269 crossrefType "journal-article" @default.
- W4242869269 hasConcept C110251889 @default.
- W4242869269 hasConcept C11648818 @default.
- W4242869269 hasConcept C127162648 @default.
- W4242869269 hasConcept C136643341 @default.
- W4242869269 hasConcept C162670838 @default.
- W4242869269 hasConcept C198008173 @default.
- W4242869269 hasConcept C199360897 @default.
- W4242869269 hasConcept C25016198 @default.
- W4242869269 hasConcept C2778562939 @default.
- W4242869269 hasConcept C31258907 @default.
- W4242869269 hasConcept C41008148 @default.
- W4242869269 hasConcept C4777664 @default.
- W4242869269 hasConcept C48103436 @default.
- W4242869269 hasConcept C79403827 @default.
- W4242869269 hasConcept C80444323 @default.
- W4242869269 hasConceptScore W4242869269C110251889 @default.
- W4242869269 hasConceptScore W4242869269C11648818 @default.
- W4242869269 hasConceptScore W4242869269C127162648 @default.
- W4242869269 hasConceptScore W4242869269C136643341 @default.
- W4242869269 hasConceptScore W4242869269C162670838 @default.
- W4242869269 hasConceptScore W4242869269C198008173 @default.
- W4242869269 hasConceptScore W4242869269C199360897 @default.
- W4242869269 hasConceptScore W4242869269C25016198 @default.
- W4242869269 hasConceptScore W4242869269C2778562939 @default.
- W4242869269 hasConceptScore W4242869269C31258907 @default.
- W4242869269 hasConceptScore W4242869269C41008148 @default.
- W4242869269 hasConceptScore W4242869269C4777664 @default.
- W4242869269 hasConceptScore W4242869269C48103436 @default.
- W4242869269 hasConceptScore W4242869269C79403827 @default.
- W4242869269 hasConceptScore W4242869269C80444323 @default.
- W4242869269 hasIssue "1" @default.
- W4242869269 hasLocation W42428692691 @default.
- W4242869269 hasOpenAccess W4242869269 @default.
- W4242869269 hasPrimaryLocation W42428692691 @default.
- W4242869269 hasRelatedWork W1439921 @default.
- W4242869269 hasRelatedWork W14491291 @default.
- W4242869269 hasRelatedWork W1512767 @default.
- W4242869269 hasRelatedWork W1745298 @default.
- W4242869269 hasRelatedWork W18536537 @default.
- W4242869269 hasRelatedWork W20458949 @default.
- W4242869269 hasRelatedWork W4868912 @default.
- W4242869269 hasRelatedWork W7320307 @default.
- W4242869269 hasRelatedWork W8032002 @default.
- W4242869269 hasRelatedWork W9164568 @default.
- W4242869269 hasVolume "1" @default.
- W4242869269 isParatext "false" @default.
- W4242869269 isRetracted "false" @default.
- W4242869269 workType "article" @default.