Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065846678> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2065846678 endingPage "188" @default.
- W2065846678 startingPage "153" @default.
- W2065846678 created "2016-06-24" @default.
- W2065846678 creator A5007833372 @default.
- W2065846678 creator A5039897432 @default.
- W2065846678 date "1996-03-01" @default.
- W2065846678 modified "2023-09-26" @default.
- W2065846678 title "Applying formal verification to the AAMP5 microprocessor: A case study in the industrial use of formal methods" @default.
- W2065846678 cites W1538310240 @default.
- W2065846678 cites W1551406732 @default.
- W2065846678 cites W1577772892 @default.
- W2065846678 cites W1741528175 @default.
- W2065846678 cites W1855122795 @default.
- W2065846678 cites W2011403367 @default.
- W2065846678 cites W2011889923 @default.
- W2065846678 cites W2061523716 @default.
- W2065846678 cites W2095572512 @default.
- W2065846678 cites W2101591864 @default.
- W2065846678 cites W2103709633 @default.
- W2065846678 cites W2126259958 @default.
- W2065846678 cites W2142976808 @default.
- W2065846678 doi "https://doi.org/10.1007/bf00122419" @default.
- W2065846678 hasPublicationYear "1996" @default.
- W2065846678 type Work @default.
- W2065846678 sameAs 2065846678 @default.
- W2065846678 citedByCount "28" @default.
- W2065846678 countsByYear W20658466782012 @default.
- W2065846678 countsByYear W20658466782016 @default.
- W2065846678 countsByYear W20658466782019 @default.
- W2065846678 crossrefType "journal-article" @default.
- W2065846678 hasAuthorship W2065846678A5007833372 @default.
- W2065846678 hasAuthorship W2065846678A5039897432 @default.
- W2065846678 hasConcept C111498074 @default.
- W2065846678 hasConcept C111919701 @default.
- W2065846678 hasConcept C115903868 @default.
- W2065846678 hasConcept C116253237 @default.
- W2065846678 hasConcept C149635348 @default.
- W2065846678 hasConcept C199360897 @default.
- W2065846678 hasConcept C202491316 @default.
- W2065846678 hasConcept C206880738 @default.
- W2065846678 hasConcept C22174128 @default.
- W2065846678 hasConcept C2780728072 @default.
- W2065846678 hasConcept C41008148 @default.
- W2065846678 hasConcept C75606506 @default.
- W2065846678 hasConceptScore W2065846678C111498074 @default.
- W2065846678 hasConceptScore W2065846678C111919701 @default.
- W2065846678 hasConceptScore W2065846678C115903868 @default.
- W2065846678 hasConceptScore W2065846678C116253237 @default.
- W2065846678 hasConceptScore W2065846678C149635348 @default.
- W2065846678 hasConceptScore W2065846678C199360897 @default.
- W2065846678 hasConceptScore W2065846678C202491316 @default.
- W2065846678 hasConceptScore W2065846678C206880738 @default.
- W2065846678 hasConceptScore W2065846678C22174128 @default.
- W2065846678 hasConceptScore W2065846678C2780728072 @default.
- W2065846678 hasConceptScore W2065846678C41008148 @default.
- W2065846678 hasConceptScore W2065846678C75606506 @default.
- W2065846678 hasIssue "2" @default.
- W2065846678 hasLocation W20658466781 @default.
- W2065846678 hasOpenAccess W2065846678 @default.
- W2065846678 hasPrimaryLocation W20658466781 @default.
- W2065846678 hasRelatedWork W1491483666 @default.
- W2065846678 hasRelatedWork W1563319185 @default.
- W2065846678 hasRelatedWork W1932279727 @default.
- W2065846678 hasRelatedWork W2049967603 @default.
- W2065846678 hasRelatedWork W2065846678 @default.
- W2065846678 hasRelatedWork W2117700306 @default.
- W2065846678 hasRelatedWork W2165807079 @default.
- W2065846678 hasRelatedWork W2535164759 @default.
- W2065846678 hasRelatedWork W2936200354 @default.
- W2065846678 hasRelatedWork W60304821 @default.
- W2065846678 hasVolume "8" @default.
- W2065846678 isParatext "false" @default.
- W2065846678 isRetracted "false" @default.
- W2065846678 magId "2065846678" @default.
- W2065846678 workType "article" @default.