Matches in SemOpenAlex for { <https://semopenalex.org/work/W2053294975> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2053294975 endingPage "543" @default.
- W2053294975 startingPage "523" @default.
- W2053294975 created "2016-06-24" @default.
- W2053294975 creator A5052843965 @default.
- W2053294975 creator A5069441914 @default.
- W2053294975 creator A5080577181 @default.
- W2053294975 date "1992-06-01" @default.
- W2053294975 modified "2023-09-23" @default.
- W2053294975 title "An experience in proving regular networks of processes by modular model checking" @default.
- W2053294975 cites W1491593738 @default.
- W2053294975 cites W1499481996 @default.
- W2053294975 cites W1593428110 @default.
- W2053294975 cites W1995969393 @default.
- W2053294975 cites W2000210358 @default.
- W2053294975 cites W2039812824 @default.
- W2053294975 cites W2066611459 @default.
- W2053294975 cites W2080267935 @default.
- W2053294975 cites W2117189826 @default.
- W2053294975 cites W2125415493 @default.
- W2053294975 cites W2137467159 @default.
- W2053294975 cites W2147269402 @default.
- W2053294975 cites W2147539576 @default.
- W2053294975 cites W4242946303 @default.
- W2053294975 cites W4254170367 @default.
- W2053294975 doi "https://doi.org/10.1007/bf01185559" @default.
- W2053294975 hasPublicationYear "1992" @default.
- W2053294975 type Work @default.
- W2053294975 sameAs 2053294975 @default.
- W2053294975 citedByCount "27" @default.
- W2053294975 countsByYear W20532949752020 @default.
- W2053294975 crossrefType "journal-article" @default.
- W2053294975 hasAuthorship W2053294975A5052843965 @default.
- W2053294975 hasAuthorship W2053294975A5069441914 @default.
- W2053294975 hasAuthorship W2053294975A5080577181 @default.
- W2053294975 hasConcept C101468663 @default.
- W2053294975 hasConcept C110251889 @default.
- W2053294975 hasConcept C111498074 @default.
- W2053294975 hasConcept C173608175 @default.
- W2053294975 hasConcept C180699724 @default.
- W2053294975 hasConcept C199360897 @default.
- W2053294975 hasConcept C24858836 @default.
- W2053294975 hasConcept C2779971761 @default.
- W2053294975 hasConcept C41008148 @default.
- W2053294975 hasConcept C80444323 @default.
- W2053294975 hasConcept C83283714 @default.
- W2053294975 hasConceptScore W2053294975C101468663 @default.
- W2053294975 hasConceptScore W2053294975C110251889 @default.
- W2053294975 hasConceptScore W2053294975C111498074 @default.
- W2053294975 hasConceptScore W2053294975C173608175 @default.
- W2053294975 hasConceptScore W2053294975C180699724 @default.
- W2053294975 hasConceptScore W2053294975C199360897 @default.
- W2053294975 hasConceptScore W2053294975C24858836 @default.
- W2053294975 hasConceptScore W2053294975C2779971761 @default.
- W2053294975 hasConceptScore W2053294975C41008148 @default.
- W2053294975 hasConceptScore W2053294975C80444323 @default.
- W2053294975 hasConceptScore W2053294975C83283714 @default.
- W2053294975 hasIssue "6-7" @default.
- W2053294975 hasLocation W20532949751 @default.
- W2053294975 hasOpenAccess W2053294975 @default.
- W2053294975 hasPrimaryLocation W20532949751 @default.
- W2053294975 hasRelatedWork W1878023261 @default.
- W2053294975 hasRelatedWork W2022810653 @default.
- W2053294975 hasRelatedWork W2049321516 @default.
- W2053294975 hasRelatedWork W2053294975 @default.
- W2053294975 hasRelatedWork W2117798332 @default.
- W2053294975 hasRelatedWork W2177212599 @default.
- W2053294975 hasRelatedWork W2248188078 @default.
- W2053294975 hasRelatedWork W2741430969 @default.
- W2053294975 hasRelatedWork W4213079124 @default.
- W2053294975 hasRelatedWork W98168214 @default.
- W2053294975 hasVolume "29" @default.
- W2053294975 isParatext "false" @default.
- W2053294975 isRetracted "false" @default.
- W2053294975 magId "2053294975" @default.
- W2053294975 workType "article" @default.