Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594370878> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1594370878 endingPage "52" @default.
- W1594370878 startingPage "48" @default.
- W1594370878 created "2016-06-24" @default.
- W1594370878 creator A5049100464 @default.
- W1594370878 creator A5059617578 @default.
- W1594370878 date "2003-05-01" @default.
- W1594370878 modified "2023-09-24" @default.
- W1594370878 title "Equational Tree Automata : Towards Automated Verification of Network Protocols (Algebra, Logic and Geometry in Informatics)" @default.
- W1594370878 hasPublicationYear "2003" @default.
- W1594370878 type Work @default.
- W1594370878 sameAs 1594370878 @default.
- W1594370878 citedByCount "0" @default.
- W1594370878 crossrefType "journal-article" @default.
- W1594370878 hasAuthorship W1594370878A5049100464 @default.
- W1594370878 hasAuthorship W1594370878A5059617578 @default.
- W1594370878 hasConcept C112505250 @default.
- W1594370878 hasConcept C113174947 @default.
- W1594370878 hasConcept C114614502 @default.
- W1594370878 hasConcept C118615104 @default.
- W1594370878 hasConcept C136119220 @default.
- W1594370878 hasConcept C199343813 @default.
- W1594370878 hasConcept C199360897 @default.
- W1594370878 hasConcept C202444582 @default.
- W1594370878 hasConcept C2777686260 @default.
- W1594370878 hasConcept C2778583254 @default.
- W1594370878 hasConcept C33923547 @default.
- W1594370878 hasConcept C41008148 @default.
- W1594370878 hasConcept C71924100 @default.
- W1594370878 hasConcept C80444323 @default.
- W1594370878 hasConceptScore W1594370878C112505250 @default.
- W1594370878 hasConceptScore W1594370878C113174947 @default.
- W1594370878 hasConceptScore W1594370878C114614502 @default.
- W1594370878 hasConceptScore W1594370878C118615104 @default.
- W1594370878 hasConceptScore W1594370878C136119220 @default.
- W1594370878 hasConceptScore W1594370878C199343813 @default.
- W1594370878 hasConceptScore W1594370878C199360897 @default.
- W1594370878 hasConceptScore W1594370878C202444582 @default.
- W1594370878 hasConceptScore W1594370878C2777686260 @default.
- W1594370878 hasConceptScore W1594370878C2778583254 @default.
- W1594370878 hasConceptScore W1594370878C33923547 @default.
- W1594370878 hasConceptScore W1594370878C41008148 @default.
- W1594370878 hasConceptScore W1594370878C71924100 @default.
- W1594370878 hasConceptScore W1594370878C80444323 @default.
- W1594370878 hasLocation W15943708781 @default.
- W1594370878 hasOpenAccess W1594370878 @default.
- W1594370878 hasPrimaryLocation W15943708781 @default.
- W1594370878 hasRelatedWork W1490980615 @default.
- W1594370878 hasRelatedWork W1510921163 @default.
- W1594370878 hasRelatedWork W1537465387 @default.
- W1594370878 hasRelatedWork W1548879834 @default.
- W1594370878 hasRelatedWork W1559046348 @default.
- W1594370878 hasRelatedWork W1564619459 @default.
- W1594370878 hasRelatedWork W1579407214 @default.
- W1594370878 hasRelatedWork W1593436942 @default.
- W1594370878 hasRelatedWork W1847167086 @default.
- W1594370878 hasRelatedWork W2019881090 @default.
- W1594370878 hasRelatedWork W2152873074 @default.
- W1594370878 hasRelatedWork W2155418850 @default.
- W1594370878 hasRelatedWork W2184634081 @default.
- W1594370878 hasRelatedWork W2591229299 @default.
- W1594370878 hasRelatedWork W2618060913 @default.
- W1594370878 hasRelatedWork W2726823648 @default.
- W1594370878 hasRelatedWork W3103882277 @default.
- W1594370878 hasRelatedWork W642723083 @default.
- W1594370878 hasRelatedWork W277366380 @default.
- W1594370878 hasRelatedWork W2895014844 @default.
- W1594370878 hasVolume "1318" @default.
- W1594370878 isParatext "false" @default.
- W1594370878 isRetracted "false" @default.
- W1594370878 magId "1594370878" @default.
- W1594370878 workType "article" @default.