Matches in SemOpenAlex for { <https://semopenalex.org/work/W1972850151> ?p ?o ?g. }
- W1972850151 endingPage "306" @default.
- W1972850151 startingPage "289" @default.
- W1972850151 created "2016-06-24" @default.
- W1972850151 creator A5028417315 @default.
- W1972850151 creator A5074689659 @default.
- W1972850151 date "2011-05-20" @default.
- W1972850151 modified "2023-10-18" @default.
- W1972850151 title "Local abstraction–refinement for the μ-calculus" @default.
- W1972850151 cites W113529588 @default.
- W1972850151 cites W1481843134 @default.
- W1972850151 cites W1487227309 @default.
- W1972850151 cites W1493798320 @default.
- W1972850151 cites W1497571013 @default.
- W1972850151 cites W1505720487 @default.
- W1972850151 cites W1507173517 @default.
- W1972850151 cites W1518419080 @default.
- W1972850151 cites W1527925700 @default.
- W1972850151 cites W1530954828 @default.
- W1972850151 cites W1531054827 @default.
- W1972850151 cites W1540129897 @default.
- W1972850151 cites W1553858749 @default.
- W1972850151 cites W1554532808 @default.
- W1972850151 cites W1559445291 @default.
- W1972850151 cites W1564580204 @default.
- W1972850151 cites W1565898282 @default.
- W1972850151 cites W1578451176 @default.
- W1972850151 cites W1590315663 @default.
- W1972850151 cites W1593428110 @default.
- W1972850151 cites W1670210142 @default.
- W1972850151 cites W2015640848 @default.
- W1972850151 cites W2060375000 @default.
- W1972850151 cites W2082425423 @default.
- W1972850151 cites W2107794009 @default.
- W1972850151 cites W2110783522 @default.
- W1972850151 cites W2127574686 @default.
- W1972850151 cites W2142133061 @default.
- W1972850151 cites W2176543585 @default.
- W1972850151 cites W4230531028 @default.
- W1972850151 cites W4237131304 @default.
- W1972850151 cites W4252150051 @default.
- W1972850151 cites W4254377784 @default.
- W1972850151 cites W4302599276 @default.
- W1972850151 doi "https://doi.org/10.1007/s10009-011-0202-1" @default.
- W1972850151 hasPublicationYear "2011" @default.
- W1972850151 type Work @default.
- W1972850151 sameAs 1972850151 @default.
- W1972850151 citedByCount "8" @default.
- W1972850151 countsByYear W19728501512012 @default.
- W1972850151 countsByYear W19728501512013 @default.
- W1972850151 countsByYear W19728501512014 @default.
- W1972850151 countsByYear W19728501512015 @default.
- W1972850151 countsByYear W19728501512017 @default.
- W1972850151 crossrefType "journal-article" @default.
- W1972850151 hasAuthorship W1972850151A5028417315 @default.
- W1972850151 hasAuthorship W1972850151A5074689659 @default.
- W1972850151 hasConcept C110251889 @default.
- W1972850151 hasConcept C111472728 @default.
- W1972850151 hasConcept C111919701 @default.
- W1972850151 hasConcept C11413529 @default.
- W1972850151 hasConcept C118615104 @default.
- W1972850151 hasConcept C124304363 @default.
- W1972850151 hasConcept C127705205 @default.
- W1972850151 hasConcept C138885662 @default.
- W1972850151 hasConcept C162838799 @default.
- W1972850151 hasConcept C195818886 @default.
- W1972850151 hasConcept C199343813 @default.
- W1972850151 hasConcept C199360897 @default.
- W1972850151 hasConcept C24858836 @default.
- W1972850151 hasConcept C2777686260 @default.
- W1972850151 hasConcept C33923547 @default.
- W1972850151 hasConcept C41008148 @default.
- W1972850151 hasConcept C71924100 @default.
- W1972850151 hasConcept C80444323 @default.
- W1972850151 hasConcept C90483712 @default.
- W1972850151 hasConceptScore W1972850151C110251889 @default.
- W1972850151 hasConceptScore W1972850151C111472728 @default.
- W1972850151 hasConceptScore W1972850151C111919701 @default.
- W1972850151 hasConceptScore W1972850151C11413529 @default.
- W1972850151 hasConceptScore W1972850151C118615104 @default.
- W1972850151 hasConceptScore W1972850151C124304363 @default.
- W1972850151 hasConceptScore W1972850151C127705205 @default.
- W1972850151 hasConceptScore W1972850151C138885662 @default.
- W1972850151 hasConceptScore W1972850151C162838799 @default.
- W1972850151 hasConceptScore W1972850151C195818886 @default.
- W1972850151 hasConceptScore W1972850151C199343813 @default.
- W1972850151 hasConceptScore W1972850151C199360897 @default.
- W1972850151 hasConceptScore W1972850151C24858836 @default.
- W1972850151 hasConceptScore W1972850151C2777686260 @default.
- W1972850151 hasConceptScore W1972850151C33923547 @default.
- W1972850151 hasConceptScore W1972850151C41008148 @default.
- W1972850151 hasConceptScore W1972850151C71924100 @default.
- W1972850151 hasConceptScore W1972850151C80444323 @default.
- W1972850151 hasConceptScore W1972850151C90483712 @default.
- W1972850151 hasIssue "4" @default.
- W1972850151 hasLocation W19728501511 @default.
- W1972850151 hasOpenAccess W1972850151 @default.
- W1972850151 hasPrimaryLocation W19728501511 @default.
- W1972850151 hasRelatedWork W1514172519 @default.
- W1972850151 hasRelatedWork W1598914363 @default.
- W1972850151 hasRelatedWork W2003959877 @default.