Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000346290> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2000346290 endingPage "565" @default.
- W2000346290 startingPage "560" @default.
- W2000346290 created "2016-06-24" @default.
- W2000346290 creator A5005395622 @default.
- W2000346290 creator A5088847437 @default.
- W2000346290 date "1994-09-23" @default.
- W2000346290 modified "2023-09-25" @default.
- W2000346290 title "Formal verification of behavioral VHDL specifications: a case study" @default.
- W2000346290 cites W1549345379 @default.
- W2000346290 cites W1590828018 @default.
- W2000346290 cites W1607924923 @default.
- W2000346290 cites W1989055264 @default.
- W2000346290 cites W2007471348 @default.
- W2000346290 cites W2011482734 @default.
- W2000346290 cites W2057614488 @default.
- W2000346290 cites W2057956383 @default.
- W2000346290 cites W2062968803 @default.
- W2000346290 cites W2063567614 @default.
- W2000346290 cites W2099078002 @default.
- W2000346290 cites W2121497215 @default.
- W2000346290 cites W2157855934 @default.
- W2000346290 cites W3022049393 @default.
- W2000346290 doi "https://doi.org/10.5555/198174.198328" @default.
- W2000346290 hasPublicationYear "1994" @default.
- W2000346290 type Work @default.
- W2000346290 sameAs 2000346290 @default.
- W2000346290 citedByCount "4" @default.
- W2000346290 crossrefType "proceedings-article" @default.
- W2000346290 hasAuthorship W2000346290A5005395622 @default.
- W2000346290 hasAuthorship W2000346290A5088847437 @default.
- W2000346290 hasConcept C111498074 @default.
- W2000346290 hasConcept C115903868 @default.
- W2000346290 hasConcept C149635348 @default.
- W2000346290 hasConcept C199360897 @default.
- W2000346290 hasConcept C36941000 @default.
- W2000346290 hasConcept C41008148 @default.
- W2000346290 hasConcept C42143788 @default.
- W2000346290 hasConcept C42935608 @default.
- W2000346290 hasConcept C75606506 @default.
- W2000346290 hasConceptScore W2000346290C111498074 @default.
- W2000346290 hasConceptScore W2000346290C115903868 @default.
- W2000346290 hasConceptScore W2000346290C149635348 @default.
- W2000346290 hasConceptScore W2000346290C199360897 @default.
- W2000346290 hasConceptScore W2000346290C36941000 @default.
- W2000346290 hasConceptScore W2000346290C41008148 @default.
- W2000346290 hasConceptScore W2000346290C42143788 @default.
- W2000346290 hasConceptScore W2000346290C42935608 @default.
- W2000346290 hasConceptScore W2000346290C75606506 @default.
- W2000346290 hasLocation W20003462901 @default.
- W2000346290 hasOpenAccess W2000346290 @default.
- W2000346290 hasPrimaryLocation W20003462901 @default.
- W2000346290 hasRelatedWork W1491656079 @default.
- W2000346290 hasRelatedWork W1545121408 @default.
- W2000346290 hasRelatedWork W1682794323 @default.
- W2000346290 hasRelatedWork W179373627 @default.
- W2000346290 hasRelatedWork W1964841763 @default.
- W2000346290 hasRelatedWork W1984401708 @default.
- W2000346290 hasRelatedWork W199977968 @default.
- W2000346290 hasRelatedWork W200451625 @default.
- W2000346290 hasRelatedWork W2082373315 @default.
- W2000346290 hasRelatedWork W2163101554 @default.
- W2000346290 hasRelatedWork W2166388665 @default.
- W2000346290 hasRelatedWork W2349091746 @default.
- W2000346290 hasRelatedWork W238951287 @default.
- W2000346290 hasRelatedWork W2483164943 @default.
- W2000346290 hasRelatedWork W2532450002 @default.
- W2000346290 hasRelatedWork W2543956166 @default.
- W2000346290 hasRelatedWork W322025661 @default.
- W2000346290 hasRelatedWork W2062674085 @default.
- W2000346290 hasRelatedWork W2131478423 @default.
- W2000346290 hasRelatedWork W2573106767 @default.
- W2000346290 isParatext "false" @default.
- W2000346290 isRetracted "false" @default.
- W2000346290 magId "2000346290" @default.
- W2000346290 workType "article" @default.