Matches in SemOpenAlex for { <https://semopenalex.org/work/W4249156193> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W4249156193 created "2022-05-12" @default.
- W4249156193 creator A5046244008 @default.
- W4249156193 creator A5071314730 @default.
- W4249156193 creator A5090974026 @default.
- W4249156193 date "2002-11-27" @default.
- W4249156193 modified "2023-09-24" @default.
- W4249156193 title "Formal verification of VHDL: the model checker CV" @default.
- W4249156193 cites W1583207719 @default.
- W4249156193 cites W2077698590 @default.
- W4249156193 cites W2080267935 @default.
- W4249156193 cites W2117189826 @default.
- W4249156193 cites W2122464403 @default.
- W4249156193 doi "https://doi.org/10.1109/sbcci.1998.715418" @default.
- W4249156193 hasPublicationYear "2002" @default.
- W4249156193 type Work @default.
- W4249156193 citedByCount "0" @default.
- W4249156193 crossrefType "proceedings-article" @default.
- W4249156193 hasAuthorship W4249156193A5046244008 @default.
- W4249156193 hasAuthorship W4249156193A5071314730 @default.
- W4249156193 hasAuthorship W4249156193A5090974026 @default.
- W4249156193 hasConcept C110251889 @default.
- W4249156193 hasConcept C111498074 @default.
- W4249156193 hasConcept C149635348 @default.
- W4249156193 hasConcept C199360897 @default.
- W4249156193 hasConcept C36941000 @default.
- W4249156193 hasConcept C41008148 @default.
- W4249156193 hasConcept C42935608 @default.
- W4249156193 hasConcept C75606506 @default.
- W4249156193 hasConcept C96654402 @default.
- W4249156193 hasConceptScore W4249156193C110251889 @default.
- W4249156193 hasConceptScore W4249156193C111498074 @default.
- W4249156193 hasConceptScore W4249156193C149635348 @default.
- W4249156193 hasConceptScore W4249156193C199360897 @default.
- W4249156193 hasConceptScore W4249156193C36941000 @default.
- W4249156193 hasConceptScore W4249156193C41008148 @default.
- W4249156193 hasConceptScore W4249156193C42935608 @default.
- W4249156193 hasConceptScore W4249156193C75606506 @default.
- W4249156193 hasConceptScore W4249156193C96654402 @default.
- W4249156193 hasLocation W42491561931 @default.
- W4249156193 hasOpenAccess W4249156193 @default.
- W4249156193 hasPrimaryLocation W42491561931 @default.
- W4249156193 hasRelatedWork W1485349866 @default.
- W4249156193 hasRelatedWork W1491656079 @default.
- W4249156193 hasRelatedWork W1495096630 @default.
- W4249156193 hasRelatedWork W2105882137 @default.
- W4249156193 hasRelatedWork W2133268114 @default.
- W4249156193 hasRelatedWork W2533938830 @default.
- W4249156193 hasRelatedWork W2542835618 @default.
- W4249156193 hasRelatedWork W2757611789 @default.
- W4249156193 hasRelatedWork W4249156193 @default.
- W4249156193 hasRelatedWork W2575382966 @default.
- W4249156193 isParatext "false" @default.
- W4249156193 isRetracted "false" @default.
- W4249156193 workType "article" @default.