Matches in SemOpenAlex for { <https://semopenalex.org/work/W1550186809> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W1550186809 endingPage "66" @default.
- W1550186809 startingPage "62" @default.
- W1550186809 created "2016-06-24" @default.
- W1550186809 creator A5006104972 @default.
- W1550186809 creator A5047069160 @default.
- W1550186809 date "1990-04-01" @default.
- W1550186809 modified "2023-09-23" @default.
- W1550186809 title "Temporal logic and Z specifications" @default.
- W1550186809 hasPublicationYear "1990" @default.
- W1550186809 type Work @default.
- W1550186809 sameAs 1550186809 @default.
- W1550186809 citedByCount "21" @default.
- W1550186809 countsByYear W15501868092012 @default.
- W1550186809 countsByYear W15501868092015 @default.
- W1550186809 crossrefType "journal-article" @default.
- W1550186809 hasAuthorship W1550186809A5006104972 @default.
- W1550186809 hasAuthorship W1550186809A5047069160 @default.
- W1550186809 hasConcept C199360897 @default.
- W1550186809 hasConcept C41008148 @default.
- W1550186809 hasConceptScore W1550186809C199360897 @default.
- W1550186809 hasConceptScore W1550186809C41008148 @default.
- W1550186809 hasIssue "2" @default.
- W1550186809 hasLocation W15501868091 @default.
- W1550186809 hasOpenAccess W1550186809 @default.
- W1550186809 hasPrimaryLocation W15501868091 @default.
- W1550186809 hasRelatedWork W1500473389 @default.
- W1550186809 hasRelatedWork W1505315292 @default.
- W1550186809 hasRelatedWork W1506588809 @default.
- W1550186809 hasRelatedWork W1522833635 @default.
- W1550186809 hasRelatedWork W1525223041 @default.
- W1550186809 hasRelatedWork W1545230025 @default.
- W1550186809 hasRelatedWork W1552647623 @default.
- W1550186809 hasRelatedWork W1554349949 @default.
- W1550186809 hasRelatedWork W1940454311 @default.
- W1550186809 hasRelatedWork W1991588223 @default.
- W1550186809 hasRelatedWork W2015688007 @default.
- W1550186809 hasRelatedWork W2068576416 @default.
- W1550186809 hasRelatedWork W2099374974 @default.
- W1550186809 hasRelatedWork W2104452490 @default.
- W1550186809 hasRelatedWork W2119895020 @default.
- W1550186809 hasRelatedWork W2144973245 @default.
- W1550186809 hasRelatedWork W2260769207 @default.
- W1550186809 hasRelatedWork W2725986035 @default.
- W1550186809 hasRelatedWork W3144368627 @default.
- W1550186809 hasRelatedWork W48908384 @default.
- W1550186809 hasVolume "21" @default.
- W1550186809 isParatext "false" @default.
- W1550186809 isRetracted "false" @default.
- W1550186809 magId "1550186809" @default.
- W1550186809 workType "article" @default.