Matches in SemOpenAlex for { <https://semopenalex.org/work/W85381471> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W85381471 endingPage "248" @default.
- W85381471 startingPage "237" @default.
- W85381471 created "2016-06-24" @default.
- W85381471 creator A5020638349 @default.
- W85381471 date "1983-01-01" @default.
- W85381471 modified "2023-09-27" @default.
- W85381471 title "Protocol Verification via Executable Logic Specifications." @default.
- W85381471 hasPublicationYear "1983" @default.
- W85381471 type Work @default.
- W85381471 sameAs 85381471 @default.
- W85381471 citedByCount "8" @default.
- W85381471 crossrefType "journal-article" @default.
- W85381471 hasAuthorship W85381471A5020638349 @default.
- W85381471 hasConcept C115903868 @default.
- W85381471 hasConcept C142724271 @default.
- W85381471 hasConcept C160145156 @default.
- W85381471 hasConcept C199360897 @default.
- W85381471 hasConcept C204787440 @default.
- W85381471 hasConcept C2780385302 @default.
- W85381471 hasConcept C41008148 @default.
- W85381471 hasConcept C71924100 @default.
- W85381471 hasConceptScore W85381471C115903868 @default.
- W85381471 hasConceptScore W85381471C142724271 @default.
- W85381471 hasConceptScore W85381471C160145156 @default.
- W85381471 hasConceptScore W85381471C199360897 @default.
- W85381471 hasConceptScore W85381471C204787440 @default.
- W85381471 hasConceptScore W85381471C2780385302 @default.
- W85381471 hasConceptScore W85381471C41008148 @default.
- W85381471 hasConceptScore W85381471C71924100 @default.
- W85381471 hasLocation W853814711 @default.
- W85381471 hasOpenAccess W85381471 @default.
- W85381471 hasPrimaryLocation W853814711 @default.
- W85381471 hasRelatedWork W100688335 @default.
- W85381471 hasRelatedWork W124773240 @default.
- W85381471 hasRelatedWork W1490452953 @default.
- W85381471 hasRelatedWork W1532337740 @default.
- W85381471 hasRelatedWork W1541969962 @default.
- W85381471 hasRelatedWork W1574510674 @default.
- W85381471 hasRelatedWork W1585290720 @default.
- W85381471 hasRelatedWork W162918878 @default.
- W85381471 hasRelatedWork W1871268144 @default.
- W85381471 hasRelatedWork W2073093596 @default.
- W85381471 hasRelatedWork W2099708429 @default.
- W85381471 hasRelatedWork W2135268474 @default.
- W85381471 hasRelatedWork W2152691384 @default.
- W85381471 hasRelatedWork W2164198791 @default.
- W85381471 hasRelatedWork W2169856608 @default.
- W85381471 hasRelatedWork W2581480498 @default.
- W85381471 hasRelatedWork W574161834 @default.
- W85381471 hasRelatedWork W84322668 @default.
- W85381471 hasRelatedWork W2778942055 @default.
- W85381471 hasRelatedWork W2868784025 @default.
- W85381471 isParatext "false" @default.
- W85381471 isRetracted "false" @default.
- W85381471 magId "85381471" @default.
- W85381471 workType "article" @default.