Matches in SemOpenAlex for { <https://semopenalex.org/work/W1595784499> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1595784499 endingPage "26" @default.
- W1595784499 startingPage "12" @default.
- W1595784499 created "2016-06-24" @default.
- W1595784499 creator A5023822955 @default.
- W1595784499 date "1995-01-01" @default.
- W1595784499 modified "2023-09-27" @default.
- W1595784499 title "Compositional proof systems for model checking infinite state processes" @default.
- W1595784499 cites W1540321537 @default.
- W1595784499 cites W1542168068 @default.
- W1595784499 cites W1992582873 @default.
- W1595784499 cites W2083398633 @default.
- W1595784499 cites W2095082129 @default.
- W1595784499 cites W2097026217 @default.
- W1595784499 cites W2120446685 @default.
- W1595784499 doi "https://doi.org/10.1007/3-540-60218-6_2" @default.
- W1595784499 hasPublicationYear "1995" @default.
- W1595784499 type Work @default.
- W1595784499 sameAs 1595784499 @default.
- W1595784499 citedByCount "16" @default.
- W1595784499 countsByYear W15957844992016 @default.
- W1595784499 crossrefType "book-chapter" @default.
- W1595784499 hasAuthorship W1595784499A5023822955 @default.
- W1595784499 hasConcept C108710211 @default.
- W1595784499 hasConcept C110251889 @default.
- W1595784499 hasConcept C111919701 @default.
- W1595784499 hasConcept C11413529 @default.
- W1595784499 hasConcept C124978682 @default.
- W1595784499 hasConcept C136119220 @default.
- W1595784499 hasConcept C156325763 @default.
- W1595784499 hasConcept C161771561 @default.
- W1595784499 hasConcept C184337299 @default.
- W1595784499 hasConcept C185592680 @default.
- W1595784499 hasConcept C188027245 @default.
- W1595784499 hasConcept C195653647 @default.
- W1595784499 hasConcept C199343813 @default.
- W1595784499 hasConcept C199360897 @default.
- W1595784499 hasConcept C202444582 @default.
- W1595784499 hasConcept C2318724 @default.
- W1595784499 hasConcept C2524010 @default.
- W1595784499 hasConcept C2777686260 @default.
- W1595784499 hasConcept C33923547 @default.
- W1595784499 hasConcept C41008148 @default.
- W1595784499 hasConcept C48103436 @default.
- W1595784499 hasConcept C71139939 @default.
- W1595784499 hasConcept C71924100 @default.
- W1595784499 hasConcept C80444323 @default.
- W1595784499 hasConceptScore W1595784499C108710211 @default.
- W1595784499 hasConceptScore W1595784499C110251889 @default.
- W1595784499 hasConceptScore W1595784499C111919701 @default.
- W1595784499 hasConceptScore W1595784499C11413529 @default.
- W1595784499 hasConceptScore W1595784499C124978682 @default.
- W1595784499 hasConceptScore W1595784499C136119220 @default.
- W1595784499 hasConceptScore W1595784499C156325763 @default.
- W1595784499 hasConceptScore W1595784499C161771561 @default.
- W1595784499 hasConceptScore W1595784499C184337299 @default.
- W1595784499 hasConceptScore W1595784499C185592680 @default.
- W1595784499 hasConceptScore W1595784499C188027245 @default.
- W1595784499 hasConceptScore W1595784499C195653647 @default.
- W1595784499 hasConceptScore W1595784499C199343813 @default.
- W1595784499 hasConceptScore W1595784499C199360897 @default.
- W1595784499 hasConceptScore W1595784499C202444582 @default.
- W1595784499 hasConceptScore W1595784499C2318724 @default.
- W1595784499 hasConceptScore W1595784499C2524010 @default.
- W1595784499 hasConceptScore W1595784499C2777686260 @default.
- W1595784499 hasConceptScore W1595784499C33923547 @default.
- W1595784499 hasConceptScore W1595784499C41008148 @default.
- W1595784499 hasConceptScore W1595784499C48103436 @default.
- W1595784499 hasConceptScore W1595784499C71139939 @default.
- W1595784499 hasConceptScore W1595784499C71924100 @default.
- W1595784499 hasConceptScore W1595784499C80444323 @default.
- W1595784499 hasLocation W15957844991 @default.
- W1595784499 hasOpenAccess W1595784499 @default.
- W1595784499 hasPrimaryLocation W15957844991 @default.
- W1595784499 hasRelatedWork W1568032801 @default.
- W1595784499 hasRelatedWork W1590632992 @default.
- W1595784499 hasRelatedWork W1595784499 @default.
- W1595784499 hasRelatedWork W2063277731 @default.
- W1595784499 hasRelatedWork W2127986575 @default.
- W1595784499 hasRelatedWork W2232359105 @default.
- W1595784499 hasRelatedWork W27605384 @default.
- W1595784499 hasRelatedWork W2792051656 @default.
- W1595784499 hasRelatedWork W4231469737 @default.
- W1595784499 hasRelatedWork W4242709714 @default.
- W1595784499 isParatext "false" @default.
- W1595784499 isRetracted "false" @default.
- W1595784499 magId "1595784499" @default.
- W1595784499 workType "book-chapter" @default.