Matches in SemOpenAlex for { <https://semopenalex.org/work/W1037549152> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W1037549152 created "2016-06-24" @default.
- W1037549152 creator A5006444994 @default.
- W1037549152 date "2013-01-01" @default.
- W1037549152 modified "2023-09-23" @default.
- W1037549152 title "The automated verification of timewise refinement" @default.
- W1037549152 hasPublicationYear "2013" @default.
- W1037549152 type Work @default.
- W1037549152 sameAs 1037549152 @default.
- W1037549152 citedByCount "0" @default.
- W1037549152 crossrefType "journal-article" @default.
- W1037549152 hasAuthorship W1037549152A5006444994 @default.
- W1037549152 hasConcept C41008148 @default.
- W1037549152 hasConceptScore W1037549152C41008148 @default.
- W1037549152 hasLocation W10375491521 @default.
- W1037549152 hasOpenAccess W1037549152 @default.
- W1037549152 hasPrimaryLocation W10375491521 @default.
- W1037549152 hasRelatedWork W1492762980 @default.
- W1037549152 hasRelatedWork W1526259355 @default.
- W1037549152 hasRelatedWork W2039469247 @default.
- W1037549152 hasRelatedWork W2178390125 @default.
- W1037549152 hasRelatedWork W2396858990 @default.
- W1037549152 hasRelatedWork W2487071714 @default.
- W1037549152 hasRelatedWork W2798358812 @default.
- W1037549152 hasRelatedWork W2914991443 @default.
- W1037549152 hasRelatedWork W2940703928 @default.
- W1037549152 hasRelatedWork W3111088858 @default.
- W1037549152 hasRelatedWork W3126876020 @default.
- W1037549152 hasRelatedWork W883314995 @default.
- W1037549152 hasRelatedWork W2755994698 @default.
- W1037549152 hasRelatedWork W2770259622 @default.
- W1037549152 hasRelatedWork W2800735304 @default.
- W1037549152 hasRelatedWork W2846601288 @default.
- W1037549152 hasRelatedWork W2857404043 @default.
- W1037549152 hasRelatedWork W2879520192 @default.
- W1037549152 hasRelatedWork W2927628405 @default.
- W1037549152 hasRelatedWork W2937842994 @default.
- W1037549152 isParatext "false" @default.
- W1037549152 isRetracted "false" @default.
- W1037549152 magId "1037549152" @default.
- W1037549152 workType "article" @default.