Matches in SemOpenAlex for { <https://semopenalex.org/work/W2785733129> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2785733129 endingPage "160" @default.
- W2785733129 startingPage "150" @default.
- W2785733129 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.
- W2785733129 created "2018-02-23" @default.
- W2785733129 creator A5045219123 @default.
- W2785733129 date "2003-01-01" @default.
- W2785733129 modified "2023-09-27" @default.
- W2785733129 title "Model Checking Graph Grammars" @default.
- W2785733129 hasPublicationYear "2003" @default.
- W2785733129 type Work @default.
- W2785733129 sameAs 2785733129 @default.
- W2785733129 citedByCount "2" @default.
- W2785733129 crossrefType "journal-article" @default.
- W2785733129 hasAuthorship W2785733129A5045219123 @default.
- W2785733129 hasConcept C11413529 @default.
- W2785733129 hasConcept C125950753 @default.
- W2785733129 hasConcept C132525143 @default.
- W2785733129 hasConcept C134083981 @default.
- W2785733129 hasConcept C154945302 @default.
- W2785733129 hasConcept C199360897 @default.
- W2785733129 hasConcept C2779231336 @default.
- W2785733129 hasConcept C29184939 @default.
- W2785733129 hasConcept C41008148 @default.
- W2785733129 hasConcept C53893814 @default.
- W2785733129 hasConcept C67621940 @default.
- W2785733129 hasConcept C80444323 @default.
- W2785733129 hasConcept C97212296 @default.
- W2785733129 hasConceptScore W2785733129C11413529 @default.
- W2785733129 hasConceptScore W2785733129C125950753 @default.
- W2785733129 hasConceptScore W2785733129C132525143 @default.
- W2785733129 hasConceptScore W2785733129C134083981 @default.
- W2785733129 hasConceptScore W2785733129C154945302 @default.
- W2785733129 hasConceptScore W2785733129C199360897 @default.
- W2785733129 hasConceptScore W2785733129C2779231336 @default.
- W2785733129 hasConceptScore W2785733129C29184939 @default.
- W2785733129 hasConceptScore W2785733129C41008148 @default.
- W2785733129 hasConceptScore W2785733129C53893814 @default.
- W2785733129 hasConceptScore W2785733129C67621940 @default.
- W2785733129 hasConceptScore W2785733129C80444323 @default.
- W2785733129 hasConceptScore W2785733129C97212296 @default.
- W2785733129 hasLocation W27857331291 @default.
- W2785733129 hasOpenAccess W2785733129 @default.
- W2785733129 hasPrimaryLocation W27857331291 @default.
- W2785733129 hasRelatedWork W1513152267 @default.
- W2785733129 hasRelatedWork W1515623196 @default.
- W2785733129 hasRelatedWork W1522194571 @default.
- W2785733129 hasRelatedWork W1534696515 @default.
- W2785733129 hasRelatedWork W1561249134 @default.
- W2785733129 hasRelatedWork W1567335949 @default.
- W2785733129 hasRelatedWork W1576087595 @default.
- W2785733129 hasRelatedWork W1588878189 @default.
- W2785733129 hasRelatedWork W1618680569 @default.
- W2785733129 hasRelatedWork W165763178 @default.
- W2785733129 hasRelatedWork W1952073318 @default.
- W2785733129 hasRelatedWork W2010504978 @default.
- W2785733129 hasRelatedWork W2105517413 @default.
- W2785733129 hasRelatedWork W2138909111 @default.
- W2785733129 hasRelatedWork W2175010381 @default.
- W2785733129 hasRelatedWork W2415002341 @default.
- W2785733129 hasRelatedWork W2810505663 @default.
- W2785733129 hasRelatedWork W2948998901 @default.
- W2785733129 hasRelatedWork W3141804243 @default.
- W2785733129 hasRelatedWork W1007720129 @default.
- W2785733129 isParatext "false" @default.
- W2785733129 isRetracted "false" @default.
- W2785733129 magId "2785733129" @default.
- W2785733129 workType "article" @default.