Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912251631> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W2912251631 created "2019-02-21" @default.
- W2912251631 creator A5012209374 @default.
- W2912251631 creator A5045477471 @default.
- W2912251631 date "2009-06-23" @default.
- W2912251631 modified "2023-09-26" @default.
- W2912251631 title "Proceedings of the 21st International Conference on Computer Aided Verification" @default.
- W2912251631 hasPublicationYear "2009" @default.
- W2912251631 type Work @default.
- W2912251631 sameAs 2912251631 @default.
- W2912251631 citedByCount "0" @default.
- W2912251631 crossrefType "journal-article" @default.
- W2912251631 hasAuthorship W2912251631A5012209374 @default.
- W2912251631 hasAuthorship W2912251631A5045477471 @default.
- W2912251631 hasConcept C41008148 @default.
- W2912251631 hasConceptScore W2912251631C41008148 @default.
- W2912251631 hasLocation W29122516311 @default.
- W2912251631 hasOpenAccess W2912251631 @default.
- W2912251631 hasPrimaryLocation W29122516311 @default.
- W2912251631 hasRelatedWork W142995770 @default.
- W2912251631 hasRelatedWork W1482781945 @default.
- W2912251631 hasRelatedWork W2586703930 @default.
- W2912251631 hasRelatedWork W2790945614 @default.
- W2912251631 hasRelatedWork W2911384001 @default.
- W2912251631 hasRelatedWork W2911851157 @default.
- W2912251631 hasRelatedWork W2912382722 @default.
- W2912251631 hasRelatedWork W2912410621 @default.
- W2912251631 hasRelatedWork W2912455233 @default.
- W2912251631 hasRelatedWork W2912672277 @default.
- W2912251631 hasRelatedWork W2912775425 @default.
- W2912251631 hasRelatedWork W2912989676 @default.
- W2912251631 hasRelatedWork W2913094202 @default.
- W2912251631 hasRelatedWork W2913181350 @default.
- W2912251631 hasRelatedWork W2913834437 @default.
- W2912251631 hasRelatedWork W2913986094 @default.
- W2912251631 hasRelatedWork W2914862048 @default.
- W2912251631 hasRelatedWork W3029244110 @default.
- W2912251631 hasRelatedWork W3202764871 @default.
- W2912251631 hasRelatedWork W2595117135 @default.
- W2912251631 isParatext "false" @default.
- W2912251631 isRetracted "false" @default.
- W2912251631 magId "2912251631" @default.
- W2912251631 workType "article" @default.