Matches in SemOpenAlex for { <https://semopenalex.org/work/W2811413051> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2811413051 abstract "Architecture-aware Partial-order Reduction to Accelerate Model Checking of Networked Programs" @default.
- W2811413051 created "2018-07-10" @default.
- W2811413051 creator A5016050302 @default.
- W2811413051 creator A5054295591 @default.
- W2811413051 creator A5057841233 @default.
- W2811413051 creator A5063347761 @default.
- W2811413051 creator A5088376112 @default.
- W2811413051 date "2007-01-01" @default.
- W2811413051 modified "2023-09-27" @default.
- W2811413051 title "Architecture-aware Partial-order Reduction to Accelerate Model Checking of Networked Programs" @default.
- W2811413051 hasPublicationYear "2007" @default.
- W2811413051 type Work @default.
- W2811413051 sameAs 2811413051 @default.
- W2811413051 citedByCount "0" @default.
- W2811413051 crossrefType "journal-article" @default.
- W2811413051 hasAuthorship W2811413051A5016050302 @default.
- W2811413051 hasAuthorship W2811413051A5054295591 @default.
- W2811413051 hasAuthorship W2811413051A5057841233 @default.
- W2811413051 hasAuthorship W2811413051A5063347761 @default.
- W2811413051 hasAuthorship W2811413051A5088376112 @default.
- W2811413051 hasConcept C10138342 @default.
- W2811413051 hasConcept C110251889 @default.
- W2811413051 hasConcept C111335779 @default.
- W2811413051 hasConcept C120314980 @default.
- W2811413051 hasConcept C123657996 @default.
- W2811413051 hasConcept C144133560 @default.
- W2811413051 hasConcept C149635348 @default.
- W2811413051 hasConcept C166957645 @default.
- W2811413051 hasConcept C182306322 @default.
- W2811413051 hasConcept C199360897 @default.
- W2811413051 hasConcept C205649164 @default.
- W2811413051 hasConcept C2524010 @default.
- W2811413051 hasConcept C33923547 @default.
- W2811413051 hasConcept C41008148 @default.
- W2811413051 hasConcept C94633896 @default.
- W2811413051 hasConceptScore W2811413051C10138342 @default.
- W2811413051 hasConceptScore W2811413051C110251889 @default.
- W2811413051 hasConceptScore W2811413051C111335779 @default.
- W2811413051 hasConceptScore W2811413051C120314980 @default.
- W2811413051 hasConceptScore W2811413051C123657996 @default.
- W2811413051 hasConceptScore W2811413051C144133560 @default.
- W2811413051 hasConceptScore W2811413051C149635348 @default.
- W2811413051 hasConceptScore W2811413051C166957645 @default.
- W2811413051 hasConceptScore W2811413051C182306322 @default.
- W2811413051 hasConceptScore W2811413051C199360897 @default.
- W2811413051 hasConceptScore W2811413051C205649164 @default.
- W2811413051 hasConceptScore W2811413051C2524010 @default.
- W2811413051 hasConceptScore W2811413051C33923547 @default.
- W2811413051 hasConceptScore W2811413051C41008148 @default.
- W2811413051 hasConceptScore W2811413051C94633896 @default.
- W2811413051 hasLocation W28114130511 @default.
- W2811413051 hasOpenAccess W2811413051 @default.
- W2811413051 hasPrimaryLocation W28114130511 @default.
- W2811413051 hasRelatedWork W1543121161 @default.
- W2811413051 hasRelatedWork W156370492 @default.
- W2811413051 hasRelatedWork W1588620918 @default.
- W2811413051 hasRelatedWork W1598010974 @default.
- W2811413051 hasRelatedWork W1914960917 @default.
- W2811413051 hasRelatedWork W2010873555 @default.
- W2811413051 hasRelatedWork W2032765098 @default.
- W2811413051 hasRelatedWork W2068513690 @default.
- W2811413051 hasRelatedWork W2080424949 @default.
- W2811413051 hasRelatedWork W2099104684 @default.
- W2811413051 hasRelatedWork W2109462143 @default.
- W2811413051 hasRelatedWork W2144289453 @default.
- W2811413051 hasRelatedWork W2171407986 @default.
- W2811413051 hasRelatedWork W2196225265 @default.
- W2811413051 hasRelatedWork W2235197513 @default.
- W2811413051 hasRelatedWork W2338118651 @default.
- W2811413051 hasRelatedWork W2347645155 @default.
- W2811413051 hasRelatedWork W2366399556 @default.
- W2811413051 hasRelatedWork W3091972071 @default.
- W2811413051 hasRelatedWork W3095749441 @default.
- W2811413051 isParatext "false" @default.
- W2811413051 isRetracted "false" @default.
- W2811413051 magId "2811413051" @default.
- W2811413051 workType "article" @default.