Matches in SemOpenAlex for { <https://semopenalex.org/work/W2150013594> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2150013594 abstract "We sketch a setup in which transition systems are generated from graph grammars and subsequently checked for properties expressed in a temporal logic on graphs. We envisage this as part of an approach where graph grammars are used to express the behavioural semantics of object-oriented programs, thus enabling automatic verification of those programs. This paper describes work in progress." @default.
- W2150013594 created "2016-06-24" @default.
- W2150013594 creator A5045219123 @default.
- W2150013594 date "2003-01-01" @default.
- W2150013594 modified "2023-09-26" @default.
- W2150013594 title "Towards model checking graph grammars" @default.
- W2150013594 cites W116431634 @default.
- W2150013594 cites W141299356 @default.
- W2150013594 cites W1490651621 @default.
- W2150013594 cites W1494344766 @default.
- W2150013594 cites W1500886905 @default.
- W2150013594 cites W1508113248 @default.
- W2150013594 cites W1525755098 @default.
- W2150013594 cites W1530051193 @default.
- W2150013594 cites W1538310288 @default.
- W2150013594 cites W1551176011 @default.
- W2150013594 cites W1572727431 @default.
- W2150013594 cites W1574870108 @default.
- W2150013594 cites W1665726835 @default.
- W2150013594 cites W2090398333 @default.
- W2150013594 cites W2127455123 @default.
- W2150013594 cites W2155674319 @default.
- W2150013594 cites W3047749363 @default.
- W2150013594 hasPublicationYear "2003" @default.
- W2150013594 type Work @default.
- W2150013594 sameAs 2150013594 @default.
- W2150013594 citedByCount "36" @default.
- W2150013594 countsByYear W21500135942012 @default.
- W2150013594 countsByYear W21500135942013 @default.
- W2150013594 countsByYear W21500135942015 @default.
- W2150013594 crossrefType "journal-article" @default.
- W2150013594 hasAuthorship W2150013594A5045219123 @default.
- W2150013594 hasConcept C11413529 @default.
- W2150013594 hasConcept C125950753 @default.
- W2150013594 hasConcept C132525143 @default.
- W2150013594 hasConcept C134083981 @default.
- W2150013594 hasConcept C154945302 @default.
- W2150013594 hasConcept C199360897 @default.
- W2150013594 hasConcept C2779231336 @default.
- W2150013594 hasConcept C29184939 @default.
- W2150013594 hasConcept C41008148 @default.
- W2150013594 hasConcept C53893814 @default.
- W2150013594 hasConcept C67621940 @default.
- W2150013594 hasConcept C80444323 @default.
- W2150013594 hasConcept C97212296 @default.
- W2150013594 hasConceptScore W2150013594C11413529 @default.
- W2150013594 hasConceptScore W2150013594C125950753 @default.
- W2150013594 hasConceptScore W2150013594C132525143 @default.
- W2150013594 hasConceptScore W2150013594C134083981 @default.
- W2150013594 hasConceptScore W2150013594C154945302 @default.
- W2150013594 hasConceptScore W2150013594C199360897 @default.
- W2150013594 hasConceptScore W2150013594C2779231336 @default.
- W2150013594 hasConceptScore W2150013594C29184939 @default.
- W2150013594 hasConceptScore W2150013594C41008148 @default.
- W2150013594 hasConceptScore W2150013594C53893814 @default.
- W2150013594 hasConceptScore W2150013594C67621940 @default.
- W2150013594 hasConceptScore W2150013594C80444323 @default.
- W2150013594 hasConceptScore W2150013594C97212296 @default.
- W2150013594 hasLocation W21500135941 @default.
- W2150013594 hasOpenAccess W2150013594 @default.
- W2150013594 hasPrimaryLocation W21500135941 @default.
- W2150013594 hasRelatedWork W1485541946 @default.
- W2150013594 hasRelatedWork W1495299640 @default.
- W2150013594 hasRelatedWork W1500886905 @default.
- W2150013594 hasRelatedWork W1507479492 @default.
- W2150013594 hasRelatedWork W1512007370 @default.
- W2150013594 hasRelatedWork W1577544661 @default.
- W2150013594 hasRelatedWork W1790160651 @default.
- W2150013594 hasRelatedWork W1891049642 @default.
- W2150013594 hasRelatedWork W190356767 @default.
- W2150013594 hasRelatedWork W2076632469 @default.
- W2150013594 hasRelatedWork W2095093755 @default.
- W2150013594 hasRelatedWork W2099991819 @default.
- W2150013594 hasRelatedWork W2108124143 @default.
- W2150013594 hasRelatedWork W2111038497 @default.
- W2150013594 hasRelatedWork W2124789887 @default.
- W2150013594 hasRelatedWork W2131966463 @default.
- W2150013594 hasRelatedWork W2134871878 @default.
- W2150013594 hasRelatedWork W2137628566 @default.
- W2150013594 hasRelatedWork W2154321080 @default.
- W2150013594 hasRelatedWork W2913459036 @default.
- W2150013594 isParatext "false" @default.
- W2150013594 isRetracted "false" @default.
- W2150013594 magId "2150013594" @default.
- W2150013594 workType "article" @default.