Matches in SemOpenAlex for { <https://semopenalex.org/work/W2543683154> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2543683154 created "2016-11-04" @default.
- W2543683154 creator A5016752974 @default.
- W2543683154 date "2016-01-01" @default.
- W2543683154 modified "2023-09-27" @default.
- W2543683154 title "Pain Management: Formal Verification of an Android Application Using EventB2SQL" @default.
- W2543683154 cites W1649645444 @default.
- W2543683154 cites W1971486022 @default.
- W2543683154 cites W2089070459 @default.
- W2543683154 hasPublicationYear "2016" @default.
- W2543683154 type Work @default.
- W2543683154 sameAs 2543683154 @default.
- W2543683154 citedByCount "0" @default.
- W2543683154 crossrefType "journal-article" @default.
- W2543683154 hasAuthorship W2543683154A5016752974 @default.
- W2543683154 hasConcept C108827166 @default.
- W2543683154 hasConcept C111919701 @default.
- W2543683154 hasConcept C38652104 @default.
- W2543683154 hasConcept C41008148 @default.
- W2543683154 hasConcept C557433098 @default.
- W2543683154 hasConceptScore W2543683154C108827166 @default.
- W2543683154 hasConceptScore W2543683154C111919701 @default.
- W2543683154 hasConceptScore W2543683154C38652104 @default.
- W2543683154 hasConceptScore W2543683154C41008148 @default.
- W2543683154 hasConceptScore W2543683154C557433098 @default.
- W2543683154 hasLocation W25436831541 @default.
- W2543683154 hasOpenAccess W2543683154 @default.
- W2543683154 hasPrimaryLocation W25436831541 @default.
- W2543683154 hasRelatedWork W1952198921 @default.
- W2543683154 hasRelatedWork W2165251242 @default.
- W2543683154 hasRelatedWork W2312295393 @default.
- W2543683154 hasRelatedWork W2316640565 @default.
- W2543683154 hasRelatedWork W2361627874 @default.
- W2543683154 hasRelatedWork W2369751900 @default.
- W2543683154 hasRelatedWork W2592416861 @default.
- W2543683154 hasRelatedWork W2603925076 @default.
- W2543683154 hasRelatedWork W2622241282 @default.
- W2543683154 hasRelatedWork W2883644276 @default.
- W2543683154 hasRelatedWork W2885473424 @default.
- W2543683154 hasRelatedWork W2900464575 @default.
- W2543683154 hasRelatedWork W2954407345 @default.
- W2543683154 hasRelatedWork W2976740259 @default.
- W2543683154 hasRelatedWork W2995440219 @default.
- W2543683154 hasRelatedWork W3001596856 @default.
- W2543683154 hasRelatedWork W3099050915 @default.
- W2543683154 hasRelatedWork W3157621177 @default.
- W2543683154 hasRelatedWork W3190143182 @default.
- W2543683154 hasRelatedWork W2756015318 @default.
- W2543683154 isParatext "false" @default.
- W2543683154 isRetracted "false" @default.
- W2543683154 magId "2543683154" @default.
- W2543683154 workType "article" @default.