Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912605151> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W2912605151 created "2019-02-21" @default.
- W2912605151 creator A5005174253 @default.
- W2912605151 date "1993-06-28" @default.
- W2912605151 modified "2023-09-27" @default.
- W2912605151 title "Proceedings of the 5th International Conference on Computer Aided Verification" @default.
- W2912605151 hasPublicationYear "1993" @default.
- W2912605151 type Work @default.
- W2912605151 sameAs 2912605151 @default.
- W2912605151 citedByCount "0" @default.
- W2912605151 crossrefType "journal-article" @default.
- W2912605151 hasAuthorship W2912605151A5005174253 @default.
- W2912605151 hasConcept C41008148 @default.
- W2912605151 hasConceptScore W2912605151C41008148 @default.
- W2912605151 hasLocation W29126051511 @default.
- W2912605151 hasOpenAccess W2912605151 @default.
- W2912605151 hasPrimaryLocation W29126051511 @default.
- W2912605151 hasRelatedWork W157630246 @default.
- W2912605151 hasRelatedWork W164665133 @default.
- W2912605151 hasRelatedWork W2018117058 @default.
- W2912605151 hasRelatedWork W2600381083 @default.
- W2912605151 hasRelatedWork W2911267893 @default.
- W2912605151 hasRelatedWork W2911847888 @default.
- W2912605151 hasRelatedWork W2911914055 @default.
- W2912605151 hasRelatedWork W2911960200 @default.
- W2912605151 hasRelatedWork W2912793039 @default.
- W2912605151 hasRelatedWork W2913004403 @default.
- W2912605151 hasRelatedWork W2913481670 @default.
- W2912605151 hasRelatedWork W2913988455 @default.
- W2912605151 hasRelatedWork W2914025548 @default.
- W2912605151 hasRelatedWork W2914133421 @default.
- W2912605151 hasRelatedWork W2914199386 @default.
- W2912605151 hasRelatedWork W2914790481 @default.
- W2912605151 hasRelatedWork W2914867207 @default.
- W2912605151 hasRelatedWork W2918034133 @default.
- W2912605151 hasRelatedWork W32448178 @default.
- W2912605151 hasRelatedWork W80790317 @default.
- W2912605151 isParatext "false" @default.
- W2912605151 isRetracted "false" @default.
- W2912605151 magId "2912605151" @default.
- W2912605151 workType "article" @default.