Matches in SemOpenAlex for { <https://semopenalex.org/work/W4213306901> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- W4213306901 created "2022-02-24" @default.
- W4213306901 creator A5037050989 @default.
- W4213306901 creator A5037418855 @default.
- W4213306901 creator A5040200686 @default.
- W4213306901 date "2022-01-01" @default.
- W4213306901 modified "2023-09-26" @default.
- W4213306901 title "SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties" @default.
- W4213306901 doi "https://doi.org/10.5220/0010882100003116" @default.
- W4213306901 hasPublicationYear "2022" @default.
- W4213306901 type Work @default.
- W4213306901 citedByCount "0" @default.
- W4213306901 crossrefType "proceedings-article" @default.
- W4213306901 hasAuthorship W4213306901A5037050989 @default.
- W4213306901 hasAuthorship W4213306901A5037418855 @default.
- W4213306901 hasAuthorship W4213306901A5040200686 @default.
- W4213306901 hasBestOaLocation W42133069011 @default.
- W4213306901 hasConcept C199360897 @default.
- W4213306901 hasConcept C41008148 @default.
- W4213306901 hasConceptScore W4213306901C199360897 @default.
- W4213306901 hasConceptScore W4213306901C41008148 @default.
- W4213306901 hasLocation W42133069011 @default.
- W4213306901 hasOpenAccess W4213306901 @default.
- W4213306901 hasPrimaryLocation W42133069011 @default.
- W4213306901 hasRelatedWork W2104078272 @default.
- W4213306901 hasRelatedWork W2112962394 @default.
- W4213306901 hasRelatedWork W2118300983 @default.
- W4213306901 hasRelatedWork W2166247150 @default.
- W4213306901 hasRelatedWork W2382501300 @default.
- W4213306901 hasRelatedWork W3137189469 @default.
- W4213306901 hasRelatedWork W3162240892 @default.
- W4213306901 hasRelatedWork W4235530921 @default.
- W4213306901 hasRelatedWork W4243252198 @default.
- W4213306901 hasRelatedWork W4245713008 @default.
- W4213306901 isParatext "false" @default.
- W4213306901 isRetracted "false" @default.
- W4213306901 workType "article" @default.