Matches in SemOpenAlex for { <https://semopenalex.org/work/W600141027> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W600141027 created "2016-06-24" @default.
- W600141027 creator A5007508063 @default.
- W600141027 creator A5027580280 @default.
- W600141027 creator A5053134485 @default.
- W600141027 date "2012-01-01" @default.
- W600141027 modified "2023-09-22" @default.
- W600141027 title "Assume-Guarantee Abstraction Refinement for Probalistic Systems" @default.
- W600141027 cites W138290785 @default.
- W600141027 cites W1498432697 @default.
- W600141027 cites W1508602846 @default.
- W600141027 cites W1578170176 @default.
- W600141027 cites W1801993675 @default.
- W600141027 cites W1836142986 @default.
- W600141027 cites W2088501121 @default.
- W600141027 cites W2117013774 @default.
- W600141027 cites W2913459036 @default.
- W600141027 cites W2913788705 @default.
- W600141027 cites W92576581 @default.
- W600141027 hasPublicationYear "2012" @default.
- W600141027 type Work @default.
- W600141027 sameAs 600141027 @default.
- W600141027 citedByCount "0" @default.
- W600141027 crossrefType "journal-article" @default.
- W600141027 hasAuthorship W600141027A5007508063 @default.
- W600141027 hasAuthorship W600141027A5027580280 @default.
- W600141027 hasAuthorship W600141027A5053134485 @default.
- W600141027 hasConcept C111472728 @default.
- W600141027 hasConcept C124304363 @default.
- W600141027 hasConcept C138885662 @default.
- W600141027 hasConcept C199360897 @default.
- W600141027 hasConcept C41008148 @default.
- W600141027 hasConcept C80444323 @default.
- W600141027 hasConceptScore W600141027C111472728 @default.
- W600141027 hasConceptScore W600141027C124304363 @default.
- W600141027 hasConceptScore W600141027C138885662 @default.
- W600141027 hasConceptScore W600141027C199360897 @default.
- W600141027 hasConceptScore W600141027C41008148 @default.
- W600141027 hasConceptScore W600141027C80444323 @default.
- W600141027 hasLocation W6001410271 @default.
- W600141027 hasOpenAccess W600141027 @default.
- W600141027 hasPrimaryLocation W6001410271 @default.
- W600141027 hasRelatedWork W1189894384 @default.
- W600141027 hasRelatedWork W1497869663 @default.
- W600141027 hasRelatedWork W1513996969 @default.
- W600141027 hasRelatedWork W15780310 @default.
- W600141027 hasRelatedWork W1582913783 @default.
- W600141027 hasRelatedWork W1636019462 @default.
- W600141027 hasRelatedWork W1680791603 @default.
- W600141027 hasRelatedWork W1964652583 @default.
- W600141027 hasRelatedWork W2019436005 @default.
- W600141027 hasRelatedWork W2032063490 @default.
- W600141027 hasRelatedWork W2099560526 @default.
- W600141027 hasRelatedWork W2112884098 @default.
- W600141027 hasRelatedWork W2153061979 @default.
- W600141027 hasRelatedWork W2179822061 @default.
- W600141027 hasRelatedWork W3110414195 @default.
- W600141027 hasRelatedWork W3136212788 @default.
- W600141027 hasRelatedWork W3161201111 @default.
- W600141027 hasRelatedWork W3201396012 @default.
- W600141027 hasRelatedWork W773258019 @default.
- W600141027 hasRelatedWork W2181384782 @default.
- W600141027 isParatext "false" @default.
- W600141027 isRetracted "false" @default.
- W600141027 magId "600141027" @default.
- W600141027 workType "article" @default.