Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912793039> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W2912793039 created "2019-02-21" @default.
- W2912793039 creator A5052440027 @default.
- W2912793039 creator A5075152083 @default.
- W2912793039 date "2013-07-13" @default.
- W2912793039 modified "2023-09-26" @default.
- W2912793039 title "Proceedings of the 25th international conference on Computer Aided Verification" @default.
- W2912793039 hasPublicationYear "2013" @default.
- W2912793039 type Work @default.
- W2912793039 sameAs 2912793039 @default.
- W2912793039 citedByCount "0" @default.
- W2912793039 crossrefType "journal-article" @default.
- W2912793039 hasAuthorship W2912793039A5052440027 @default.
- W2912793039 hasAuthorship W2912793039A5075152083 @default.
- W2912793039 hasConcept C41008148 @default.
- W2912793039 hasConceptScore W2912793039C41008148 @default.
- W2912793039 hasLocation W29127930391 @default.
- W2912793039 hasOpenAccess W2912793039 @default.
- W2912793039 hasPrimaryLocation W29127930391 @default.
- W2912793039 hasRelatedWork W1483853048 @default.
- W2912793039 hasRelatedWork W157630246 @default.
- W2912793039 hasRelatedWork W164665133 @default.
- W2912793039 hasRelatedWork W2018117058 @default.
- W2912793039 hasRelatedWork W2911267893 @default.
- W2912793039 hasRelatedWork W2911335745 @default.
- W2912793039 hasRelatedWork W2911847888 @default.
- W2912793039 hasRelatedWork W2911914055 @default.
- W2912793039 hasRelatedWork W2911960200 @default.
- W2912793039 hasRelatedWork W2912605151 @default.
- W2912793039 hasRelatedWork W2912789136 @default.
- W2912793039 hasRelatedWork W2913004403 @default.
- W2912793039 hasRelatedWork W2913481670 @default.
- W2912793039 hasRelatedWork W2914025548 @default.
- W2912793039 hasRelatedWork W2914133421 @default.
- W2912793039 hasRelatedWork W2914199386 @default.
- W2912793039 hasRelatedWork W2914297793 @default.
- W2912793039 hasRelatedWork W2914867207 @default.
- W2912793039 hasRelatedWork W2918034133 @default.
- W2912793039 hasRelatedWork W80790317 @default.
- W2912793039 isParatext "false" @default.
- W2912793039 isRetracted "false" @default.
- W2912793039 magId "2912793039" @default.
- W2912793039 workType "article" @default.