Matches in SemOpenAlex for { <https://semopenalex.org/work/W2059552610> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2059552610 endingPage "61" @default.
- W2059552610 startingPage "45" @default.
- W2059552610 abstract "The Advanced Microcontroller Bus Architecture (AMBA) is an open System-on-Chip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of model checking and theorem proving to verify both control and datapath properties in a seamless manner." @default.
- W2059552610 created "2016-06-24" @default.
- W2059552610 creator A5023790081 @default.
- W2059552610 date "2006-01-01" @default.
- W2059552610 modified "2023-09-23" @default.
- W2059552610 title "Verification of AMBA Using a Combination of Model Checking and Theorem Proving" @default.
- W2059552610 cites W2000138546 @default.
- W2059552610 cites W2015640848 @default.
- W2059552610 cites W2138287038 @default.
- W2059552610 doi "https://doi.org/10.1016/j.entcs.2005.10.004" @default.
- W2059552610 hasPublicationYear "2006" @default.
- W2059552610 type Work @default.
- W2059552610 sameAs 2059552610 @default.
- W2059552610 citedByCount "18" @default.
- W2059552610 countsByYear W20595526102014 @default.
- W2059552610 countsByYear W20595526102015 @default.
- W2059552610 countsByYear W20595526102018 @default.
- W2059552610 crossrefType "journal-article" @default.
- W2059552610 hasAuthorship W2059552610A5023790081 @default.
- W2059552610 hasBestOaLocation W20595526101 @default.
- W2059552610 hasConcept C110251889 @default.
- W2059552610 hasConcept C111498074 @default.
- W2059552610 hasConcept C118021083 @default.
- W2059552610 hasConcept C123657996 @default.
- W2059552610 hasConcept C142362112 @default.
- W2059552610 hasConcept C142724271 @default.
- W2059552610 hasConcept C149635348 @default.
- W2059552610 hasConcept C153349607 @default.
- W2059552610 hasConcept C165005293 @default.
- W2059552610 hasConcept C173018170 @default.
- W2059552610 hasConcept C199360897 @default.
- W2059552610 hasConcept C204787440 @default.
- W2059552610 hasConcept C2780385302 @default.
- W2059552610 hasConcept C2781198647 @default.
- W2059552610 hasConcept C41008148 @default.
- W2059552610 hasConcept C71924100 @default.
- W2059552610 hasConcept C76155785 @default.
- W2059552610 hasConceptScore W2059552610C110251889 @default.
- W2059552610 hasConceptScore W2059552610C111498074 @default.
- W2059552610 hasConceptScore W2059552610C118021083 @default.
- W2059552610 hasConceptScore W2059552610C123657996 @default.
- W2059552610 hasConceptScore W2059552610C142362112 @default.
- W2059552610 hasConceptScore W2059552610C142724271 @default.
- W2059552610 hasConceptScore W2059552610C149635348 @default.
- W2059552610 hasConceptScore W2059552610C153349607 @default.
- W2059552610 hasConceptScore W2059552610C165005293 @default.
- W2059552610 hasConceptScore W2059552610C173018170 @default.
- W2059552610 hasConceptScore W2059552610C199360897 @default.
- W2059552610 hasConceptScore W2059552610C204787440 @default.
- W2059552610 hasConceptScore W2059552610C2780385302 @default.
- W2059552610 hasConceptScore W2059552610C2781198647 @default.
- W2059552610 hasConceptScore W2059552610C41008148 @default.
- W2059552610 hasConceptScore W2059552610C71924100 @default.
- W2059552610 hasConceptScore W2059552610C76155785 @default.
- W2059552610 hasLocation W20595526101 @default.
- W2059552610 hasOpenAccess W2059552610 @default.
- W2059552610 hasPrimaryLocation W20595526101 @default.
- W2059552610 hasRelatedWork W2115764319 @default.
- W2059552610 hasRelatedWork W2141577907 @default.
- W2059552610 hasRelatedWork W2162709385 @default.
- W2059552610 hasRelatedWork W2187686360 @default.
- W2059552610 hasRelatedWork W2351717034 @default.
- W2059552610 hasRelatedWork W2372818419 @default.
- W2059552610 hasRelatedWork W2377307634 @default.
- W2059552610 hasRelatedWork W2595611087 @default.
- W2059552610 hasRelatedWork W3149602180 @default.
- W2059552610 hasRelatedWork W2527679696 @default.
- W2059552610 hasVolume "145" @default.
- W2059552610 isParatext "false" @default.
- W2059552610 isRetracted "false" @default.
- W2059552610 magId "2059552610" @default.
- W2059552610 workType "article" @default.