Matches in SemOpenAlex for { <https://semopenalex.org/work/W2622441311> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2622441311 created "2017-06-15" @default.
- W2622441311 creator A5054592990 @default.
- W2622441311 creator A5069362159 @default.
- W2622441311 date "1992-01-01" @default.
- W2622441311 modified "2023-09-27" @default.
- W2622441311 title "Computer Aided Verification: 3rd International Workshop, CAV'91" @default.
- W2622441311 hasPublicationYear "1992" @default.
- W2622441311 type Work @default.
- W2622441311 sameAs 2622441311 @default.
- W2622441311 citedByCount "1" @default.
- W2622441311 countsByYear W26224413112013 @default.
- W2622441311 crossrefType "journal-article" @default.
- W2622441311 hasAuthorship W2622441311A5054592990 @default.
- W2622441311 hasAuthorship W2622441311A5069362159 @default.
- W2622441311 hasConcept C115903868 @default.
- W2622441311 hasConcept C127413603 @default.
- W2622441311 hasConcept C199639397 @default.
- W2622441311 hasConcept C41008148 @default.
- W2622441311 hasConceptScore W2622441311C115903868 @default.
- W2622441311 hasConceptScore W2622441311C127413603 @default.
- W2622441311 hasConceptScore W2622441311C199639397 @default.
- W2622441311 hasConceptScore W2622441311C41008148 @default.
- W2622441311 hasLocation W26224413111 @default.
- W2622441311 hasOpenAccess W2622441311 @default.
- W2622441311 hasPrimaryLocation W26224413111 @default.
- W2622441311 hasRelatedWork W100961009 @default.
- W2622441311 hasRelatedWork W1483853048 @default.
- W2622441311 hasRelatedWork W157630246 @default.
- W2622441311 hasRelatedWork W164665133 @default.
- W2622441311 hasRelatedWork W2018117058 @default.
- W2622441311 hasRelatedWork W2911335745 @default.
- W2622441311 hasRelatedWork W2911847888 @default.
- W2622441311 hasRelatedWork W2911914055 @default.
- W2622441311 hasRelatedWork W2911960200 @default.
- W2622441311 hasRelatedWork W2912605151 @default.
- W2622441311 hasRelatedWork W2912789136 @default.
- W2622441311 hasRelatedWork W2912793039 @default.
- W2622441311 hasRelatedWork W2913004403 @default.
- W2622441311 hasRelatedWork W2913988455 @default.
- W2622441311 hasRelatedWork W2914025548 @default.
- W2622441311 hasRelatedWork W2914297793 @default.
- W2622441311 hasRelatedWork W2914790481 @default.
- W2622441311 hasRelatedWork W2914867207 @default.
- W2622441311 hasRelatedWork W32448178 @default.
- W2622441311 hasRelatedWork W80790317 @default.
- W2622441311 isParatext "false" @default.
- W2622441311 isRetracted "false" @default.
- W2622441311 magId "2622441311" @default.
- W2622441311 workType "article" @default.