Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018217105> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2018217105 endingPage "125" @default.
- W2018217105 startingPage "97" @default.
- W2018217105 created "2016-06-24" @default.
- W2018217105 creator A5000759525 @default.
- W2018217105 creator A5058847017 @default.
- W2018217105 date "2011-09-20" @default.
- W2018217105 modified "2023-09-27" @default.
- W2018217105 title "Experiments in program verification using Event-B" @default.
- W2018217105 cites W1480981189 @default.
- W2018217105 cites W1544621933 @default.
- W2018217105 cites W1553511155 @default.
- W2018217105 cites W1564637213 @default.
- W2018217105 cites W1605725717 @default.
- W2018217105 cites W1816659336 @default.
- W2018217105 cites W1875119441 @default.
- W2018217105 cites W1985804037 @default.
- W2018217105 cites W2005952505 @default.
- W2018217105 cites W2013373314 @default.
- W2018217105 cites W2031111226 @default.
- W2018217105 cites W2031664756 @default.
- W2018217105 cites W2033914241 @default.
- W2018217105 cites W2113755395 @default.
- W2018217105 cites W2150174224 @default.
- W2018217105 cites W2569787747 @default.
- W2018217105 cites W4230958226 @default.
- W2018217105 cites W4244819751 @default.
- W2018217105 cites W4254136620 @default.
- W2018217105 cites W4254354208 @default.
- W2018217105 doi "https://doi.org/10.1007/s00165-011-0205-4" @default.
- W2018217105 hasPublicationYear "2011" @default.
- W2018217105 type Work @default.
- W2018217105 sameAs 2018217105 @default.
- W2018217105 citedByCount "7" @default.
- W2018217105 countsByYear W20182171052012 @default.
- W2018217105 countsByYear W20182171052014 @default.
- W2018217105 countsByYear W20182171052015 @default.
- W2018217105 countsByYear W20182171052016 @default.
- W2018217105 countsByYear W20182171052017 @default.
- W2018217105 countsByYear W20182171052019 @default.
- W2018217105 crossrefType "journal-article" @default.
- W2018217105 hasAuthorship W2018217105A5000759525 @default.
- W2018217105 hasAuthorship W2018217105A5058847017 @default.
- W2018217105 hasConcept C111472728 @default.
- W2018217105 hasConcept C11413529 @default.
- W2018217105 hasConcept C121332964 @default.
- W2018217105 hasConcept C138885662 @default.
- W2018217105 hasConcept C171018156 @default.
- W2018217105 hasConcept C199360897 @default.
- W2018217105 hasConcept C24858836 @default.
- W2018217105 hasConcept C2524010 @default.
- W2018217105 hasConcept C2779662365 @default.
- W2018217105 hasConcept C2780586882 @default.
- W2018217105 hasConcept C33923547 @default.
- W2018217105 hasConcept C41008148 @default.
- W2018217105 hasConcept C62520636 @default.
- W2018217105 hasConcept C80444323 @default.
- W2018217105 hasConceptScore W2018217105C111472728 @default.
- W2018217105 hasConceptScore W2018217105C11413529 @default.
- W2018217105 hasConceptScore W2018217105C121332964 @default.
- W2018217105 hasConceptScore W2018217105C138885662 @default.
- W2018217105 hasConceptScore W2018217105C171018156 @default.
- W2018217105 hasConceptScore W2018217105C199360897 @default.
- W2018217105 hasConceptScore W2018217105C24858836 @default.
- W2018217105 hasConceptScore W2018217105C2524010 @default.
- W2018217105 hasConceptScore W2018217105C2779662365 @default.
- W2018217105 hasConceptScore W2018217105C2780586882 @default.
- W2018217105 hasConceptScore W2018217105C33923547 @default.
- W2018217105 hasConceptScore W2018217105C41008148 @default.
- W2018217105 hasConceptScore W2018217105C62520636 @default.
- W2018217105 hasConceptScore W2018217105C80444323 @default.
- W2018217105 hasIssue "1" @default.
- W2018217105 hasLocation W20182171051 @default.
- W2018217105 hasOpenAccess W2018217105 @default.
- W2018217105 hasPrimaryLocation W20182171051 @default.
- W2018217105 hasRelatedWork W2031433925 @default.
- W2018217105 hasRelatedWork W2061499516 @default.
- W2018217105 hasRelatedWork W2112962394 @default.
- W2018217105 hasRelatedWork W2118300983 @default.
- W2018217105 hasRelatedWork W2166247150 @default.
- W2018217105 hasRelatedWork W2913376619 @default.
- W2018217105 hasRelatedWork W2953958672 @default.
- W2018217105 hasRelatedWork W3137189469 @default.
- W2018217105 hasRelatedWork W4235180301 @default.
- W2018217105 hasRelatedWork W4243252198 @default.
- W2018217105 hasVolume "24" @default.
- W2018217105 isParatext "false" @default.
- W2018217105 isRetracted "false" @default.
- W2018217105 magId "2018217105" @default.
- W2018217105 workType "article" @default.