Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118895024> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2118895024 endingPage "1091" @default.
- W2118895024 startingPage "1080" @default.
- W2118895024 abstract "The introduction of concurrency into programs has added to the complexity of the software design process. This is most evident in the design of communications protocols where concurrency is inherent to the behavior of the system. The complexity exhibited by such software systems makes more evident the need for computer-aided tools for automatically analyzing behavior." @default.
- W2118895024 created "2016-06-24" @default.
- W2118895024 creator A5019709394 @default.
- W2118895024 creator A5038758120 @default.
- W2118895024 date "1987-10-01" @default.
- W2118895024 modified "2023-10-18" @default.
- W2118895024 title "Interactive State-Space Analysis of Concurrent Systems" @default.
- W2118895024 cites W125106562 @default.
- W2118895024 cites W1535547959 @default.
- W2118895024 cites W1591890109 @default.
- W2118895024 cites W1594259690 @default.
- W2118895024 cites W1599562229 @default.
- W2118895024 cites W1978358700 @default.
- W2118895024 cites W1984909114 @default.
- W2118895024 cites W1994350081 @default.
- W2118895024 cites W1998272764 @default.
- W2118895024 cites W2004114641 @default.
- W2118895024 cites W2027232632 @default.
- W2118895024 cites W2050890381 @default.
- W2118895024 cites W2066125335 @default.
- W2118895024 cites W2079636926 @default.
- W2118895024 cites W2138723607 @default.
- W2118895024 cites W2998589372 @default.
- W2118895024 cites W3095052041 @default.
- W2118895024 cites W77777525 @default.
- W2118895024 doi "https://doi.org/10.1109/tse.1987.232850" @default.
- W2118895024 hasPublicationYear "1987" @default.
- W2118895024 type Work @default.
- W2118895024 sameAs 2118895024 @default.
- W2118895024 citedByCount "61" @default.
- W2118895024 countsByYear W21188950242014 @default.
- W2118895024 countsByYear W21188950242016 @default.
- W2118895024 countsByYear W21188950242018 @default.
- W2118895024 crossrefType "journal-article" @default.
- W2118895024 hasAuthorship W2118895024A5019709394 @default.
- W2118895024 hasAuthorship W2118895024A5038758120 @default.
- W2118895024 hasConcept C105795698 @default.
- W2118895024 hasConcept C115903868 @default.
- W2118895024 hasConcept C120314980 @default.
- W2118895024 hasConcept C149091818 @default.
- W2118895024 hasConcept C150495011 @default.
- W2118895024 hasConcept C193702766 @default.
- W2118895024 hasConcept C199360897 @default.
- W2118895024 hasConcept C2777904410 @default.
- W2118895024 hasConcept C33923547 @default.
- W2118895024 hasConcept C41008148 @default.
- W2118895024 hasConcept C48103436 @default.
- W2118895024 hasConcept C72434380 @default.
- W2118895024 hasConcept C75949130 @default.
- W2118895024 hasConcept C84511453 @default.
- W2118895024 hasConceptScore W2118895024C105795698 @default.
- W2118895024 hasConceptScore W2118895024C115903868 @default.
- W2118895024 hasConceptScore W2118895024C120314980 @default.
- W2118895024 hasConceptScore W2118895024C149091818 @default.
- W2118895024 hasConceptScore W2118895024C150495011 @default.
- W2118895024 hasConceptScore W2118895024C193702766 @default.
- W2118895024 hasConceptScore W2118895024C199360897 @default.
- W2118895024 hasConceptScore W2118895024C2777904410 @default.
- W2118895024 hasConceptScore W2118895024C33923547 @default.
- W2118895024 hasConceptScore W2118895024C41008148 @default.
- W2118895024 hasConceptScore W2118895024C48103436 @default.
- W2118895024 hasConceptScore W2118895024C72434380 @default.
- W2118895024 hasConceptScore W2118895024C75949130 @default.
- W2118895024 hasConceptScore W2118895024C84511453 @default.
- W2118895024 hasIssue "10" @default.
- W2118895024 hasLocation W21188950241 @default.
- W2118895024 hasOpenAccess W2118895024 @default.
- W2118895024 hasPrimaryLocation W21188950241 @default.
- W2118895024 hasRelatedWork W1533946365 @default.
- W2118895024 hasRelatedWork W1534538615 @default.
- W2118895024 hasRelatedWork W1589083272 @default.
- W2118895024 hasRelatedWork W1734612947 @default.
- W2118895024 hasRelatedWork W2039568877 @default.
- W2118895024 hasRelatedWork W2096923273 @default.
- W2118895024 hasRelatedWork W2118895024 @default.
- W2118895024 hasRelatedWork W2139633925 @default.
- W2118895024 hasRelatedWork W2164224850 @default.
- W2118895024 hasRelatedWork W2899486387 @default.
- W2118895024 hasVolume "SE-13" @default.
- W2118895024 isParatext "false" @default.
- W2118895024 isRetracted "false" @default.
- W2118895024 magId "2118895024" @default.
- W2118895024 workType "article" @default.