Matches in SemOpenAlex for { <https://semopenalex.org/work/W204190369> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W204190369 endingPage "340" @default.
- W204190369 startingPage "323" @default.
- W204190369 abstract "We propose a systematic investigation of the (semi-) automatic verifiability of ASMs. As a first step, we put forward two verification problems concerning the correctness of ASMs and investigate the decidability and complexity of both problems." @default.
- W204190369 created "2016-06-24" @default.
- W204190369 creator A5072115990 @default.
- W204190369 date "2000-01-01" @default.
- W204190369 modified "2023-09-24" @default.
- W204190369 title "Model Checking Abstract State Machines and Beyond" @default.
- W204190369 cites W1547570088 @default.
- W204190369 cites W1567803624 @default.
- W204190369 cites W1570781677 @default.
- W204190369 cites W1612453857 @default.
- W204190369 cites W1850203898 @default.
- W204190369 cites W1966006501 @default.
- W204190369 cites W1969991082 @default.
- W204190369 cites W2003227046 @default.
- W204190369 cites W2043214415 @default.
- W204190369 cites W2117189826 @default.
- W204190369 cites W2234536257 @default.
- W204190369 cites W4252933876 @default.
- W204190369 doi "https://doi.org/10.1007/3-540-44518-8_18" @default.
- W204190369 hasPublicationYear "2000" @default.
- W204190369 type Work @default.
- W204190369 sameAs 204190369 @default.
- W204190369 citedByCount "10" @default.
- W204190369 countsByYear W2041903692015 @default.
- W204190369 countsByYear W2041903692023 @default.
- W204190369 crossrefType "book-chapter" @default.
- W204190369 hasAuthorship W204190369A5072115990 @default.
- W204190369 hasConcept C110251889 @default.
- W204190369 hasConcept C11413529 @default.
- W204190369 hasConcept C145243422 @default.
- W204190369 hasConcept C153269930 @default.
- W204190369 hasConcept C167822520 @default.
- W204190369 hasConcept C199360897 @default.
- W204190369 hasConcept C41008148 @default.
- W204190369 hasConcept C48103436 @default.
- W204190369 hasConcept C55439883 @default.
- W204190369 hasConcept C80444323 @default.
- W204190369 hasConceptScore W204190369C110251889 @default.
- W204190369 hasConceptScore W204190369C11413529 @default.
- W204190369 hasConceptScore W204190369C145243422 @default.
- W204190369 hasConceptScore W204190369C153269930 @default.
- W204190369 hasConceptScore W204190369C167822520 @default.
- W204190369 hasConceptScore W204190369C199360897 @default.
- W204190369 hasConceptScore W204190369C41008148 @default.
- W204190369 hasConceptScore W204190369C48103436 @default.
- W204190369 hasConceptScore W204190369C55439883 @default.
- W204190369 hasConceptScore W204190369C80444323 @default.
- W204190369 hasLocation W2041903691 @default.
- W204190369 hasOpenAccess W204190369 @default.
- W204190369 hasPrimaryLocation W2041903691 @default.
- W204190369 hasRelatedWork W178138771 @default.
- W204190369 hasRelatedWork W1786024619 @default.
- W204190369 hasRelatedWork W19238773 @default.
- W204190369 hasRelatedWork W1985198438 @default.
- W204190369 hasRelatedWork W2020034474 @default.
- W204190369 hasRelatedWork W204190369 @default.
- W204190369 hasRelatedWork W2053685668 @default.
- W204190369 hasRelatedWork W2152382912 @default.
- W204190369 hasRelatedWork W2741430969 @default.
- W204190369 hasRelatedWork W4200582697 @default.
- W204190369 isParatext "false" @default.
- W204190369 isRetracted "false" @default.
- W204190369 magId "204190369" @default.
- W204190369 workType "book-chapter" @default.