Matches in SemOpenAlex for { <https://semopenalex.org/work/W3011987706> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W3011987706 created "2020-03-23" @default.
- W3011987706 creator A5037735333 @default.
- W3011987706 creator A5065511425 @default.
- W3011987706 date "2020-01-01" @default.
- W3011987706 modified "2023-09-25" @default.
- W3011987706 title "Verifying OCL Operational Contracts via SMT-based Synthesising" @default.
- W3011987706 cites W1006959324 @default.
- W3011987706 cites W138671001 @default.
- W3011987706 cites W1997864678 @default.
- W3011987706 cites W2025196861 @default.
- W3011987706 cites W2036852981 @default.
- W3011987706 cites W2060440626 @default.
- W3011987706 cites W2081938064 @default.
- W3011987706 cites W2111445678 @default.
- W3011987706 cites W2119284483 @default.
- W3011987706 cites W2131566236 @default.
- W3011987706 cites W2140527460 @default.
- W3011987706 cites W2172479740 @default.
- W3011987706 cites W2175419261 @default.
- W3011987706 cites W2178736915 @default.
- W3011987706 cites W2278821771 @default.
- W3011987706 cites W2342532521 @default.
- W3011987706 cites W2397639492 @default.
- W3011987706 cites W2540273530 @default.
- W3011987706 cites W2589084440 @default.
- W3011987706 cites W2943337856 @default.
- W3011987706 cites W1990416428 @default.
- W3011987706 doi "https://doi.org/10.5220/0009340602490259" @default.
- W3011987706 hasPublicationYear "2020" @default.
- W3011987706 type Work @default.
- W3011987706 sameAs 3011987706 @default.
- W3011987706 citedByCount "0" @default.
- W3011987706 crossrefType "proceedings-article" @default.
- W3011987706 hasAuthorship W3011987706A5037735333 @default.
- W3011987706 hasAuthorship W3011987706A5065511425 @default.
- W3011987706 hasConcept C115903868 @default.
- W3011987706 hasConcept C145644426 @default.
- W3011987706 hasConcept C199360897 @default.
- W3011987706 hasConcept C2777904410 @default.
- W3011987706 hasConcept C41008148 @default.
- W3011987706 hasConceptScore W3011987706C115903868 @default.
- W3011987706 hasConceptScore W3011987706C145644426 @default.
- W3011987706 hasConceptScore W3011987706C199360897 @default.
- W3011987706 hasConceptScore W3011987706C2777904410 @default.
- W3011987706 hasConceptScore W3011987706C41008148 @default.
- W3011987706 hasLocation W30119877061 @default.
- W3011987706 hasOpenAccess W3011987706 @default.
- W3011987706 hasPrimaryLocation W30119877061 @default.
- W3011987706 hasRelatedWork W10023143 @default.
- W3011987706 hasRelatedWork W11920092 @default.
- W3011987706 hasRelatedWork W12785170 @default.
- W3011987706 hasRelatedWork W13112271 @default.
- W3011987706 hasRelatedWork W190774 @default.
- W3011987706 hasRelatedWork W3754243 @default.
- W3011987706 hasRelatedWork W4394968 @default.
- W3011987706 hasRelatedWork W7577866 @default.
- W3011987706 hasRelatedWork W7959427 @default.
- W3011987706 hasRelatedWork W9310709 @default.
- W3011987706 isParatext "false" @default.
- W3011987706 isRetracted "false" @default.
- W3011987706 magId "3011987706" @default.
- W3011987706 workType "article" @default.