Matches in SemOpenAlex for { <https://semopenalex.org/work/W1546325561> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1546325561 endingPage "129" @default.
- W1546325561 startingPage "118" @default.
- W1546325561 created "2016-06-24" @default.
- W1546325561 creator A5071852852 @default.
- W1546325561 creator A5074768788 @default.
- W1546325561 date "1989-09-01" @default.
- W1546325561 modified "2023-10-18" @default.
- W1546325561 title "Probabilistic verification of communication protocols" @default.
- W1546325561 cites W1987433648 @default.
- W1546325561 cites W2035227369 @default.
- W1546325561 cites W2039853888 @default.
- W1546325561 cites W2071659383 @default.
- W1546325561 cites W2088184419 @default.
- W1546325561 cites W2094912129 @default.
- W1546325561 cites W2100580381 @default.
- W1546325561 cites W2117747678 @default.
- W1546325561 cites W2165373889 @default.
- W1546325561 cites W4211008702 @default.
- W1546325561 doi "https://doi.org/10.1007/bf01784022" @default.
- W1546325561 hasPublicationYear "1989" @default.
- W1546325561 type Work @default.
- W1546325561 sameAs 1546325561 @default.
- W1546325561 citedByCount "36" @default.
- W1546325561 countsByYear W15463255612012 @default.
- W1546325561 countsByYear W15463255612014 @default.
- W1546325561 countsByYear W15463255612015 @default.
- W1546325561 crossrefType "journal-article" @default.
- W1546325561 hasAuthorship W1546325561A5071852852 @default.
- W1546325561 hasAuthorship W1546325561A5074768788 @default.
- W1546325561 hasConcept C11413529 @default.
- W1546325561 hasConcept C12269588 @default.
- W1546325561 hasConcept C142724271 @default.
- W1546325561 hasConcept C154945302 @default.
- W1546325561 hasConcept C204787440 @default.
- W1546325561 hasConcept C2780385302 @default.
- W1546325561 hasConcept C31258907 @default.
- W1546325561 hasConcept C41008148 @default.
- W1546325561 hasConcept C48103436 @default.
- W1546325561 hasConcept C49937458 @default.
- W1546325561 hasConcept C57273362 @default.
- W1546325561 hasConcept C71924100 @default.
- W1546325561 hasConcept C80444323 @default.
- W1546325561 hasConceptScore W1546325561C11413529 @default.
- W1546325561 hasConceptScore W1546325561C12269588 @default.
- W1546325561 hasConceptScore W1546325561C142724271 @default.
- W1546325561 hasConceptScore W1546325561C154945302 @default.
- W1546325561 hasConceptScore W1546325561C204787440 @default.
- W1546325561 hasConceptScore W1546325561C2780385302 @default.
- W1546325561 hasConceptScore W1546325561C31258907 @default.
- W1546325561 hasConceptScore W1546325561C41008148 @default.
- W1546325561 hasConceptScore W1546325561C48103436 @default.
- W1546325561 hasConceptScore W1546325561C49937458 @default.
- W1546325561 hasConceptScore W1546325561C57273362 @default.
- W1546325561 hasConceptScore W1546325561C71924100 @default.
- W1546325561 hasConceptScore W1546325561C80444323 @default.
- W1546325561 hasIssue "3" @default.
- W1546325561 hasLocation W15463255611 @default.
- W1546325561 hasOpenAccess W1546325561 @default.
- W1546325561 hasPrimaryLocation W15463255611 @default.
- W1546325561 hasRelatedWork W1500064003 @default.
- W1546325561 hasRelatedWork W1513251813 @default.
- W1546325561 hasRelatedWork W1596157658 @default.
- W1546325561 hasRelatedWork W1972320025 @default.
- W1546325561 hasRelatedWork W2151268798 @default.
- W1546325561 hasRelatedWork W2352936227 @default.
- W1546325561 hasRelatedWork W2375403706 @default.
- W1546325561 hasRelatedWork W2389524614 @default.
- W1546325561 hasRelatedWork W4230411637 @default.
- W1546325561 hasRelatedWork W4247441475 @default.
- W1546325561 hasVolume "3" @default.
- W1546325561 isParatext "false" @default.
- W1546325561 isRetracted "false" @default.
- W1546325561 magId "1546325561" @default.
- W1546325561 workType "article" @default.