FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107611262> ?p ?o ?g. }

• W2107611262 abstract "We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way. As an example we show the modelling of lac operon regulation and the modular verification of some properties." @default.
• W2107611262 created "2016-06-24" @default.
• W2107611262 creator A5003652760 @default.
• W2107611262 creator A5038730637 @default.
• W2107611262 creator A5085606339 @default.
• W2107611262 date "2010-12-01" @default.
• W2107611262 modified "2023-09-23" @default.
• W2107611262 title "Modular Verification of Interactive Systems with an Application to Biology" @default.
• W2107611262 cites W1501731334 @default.
• W2107611262 cites W1587845087 @default.
• W2107611262 cites W1599416730 @default.
• W2107611262 cites W1934319200 @default.
• W2107611262 cites W1983350265 @default.
• W2107611262 cites W1986649132 @default.
• W2107611262 cites W2001661334 @default.
• W2107611262 cites W2009965218 @default.
• W2107611262 cites W2032619610 @default.
• W2107611262 cites W2050739473 @default.
• W2107611262 cites W2086020480 @default.
• W2107611262 cites W2090106217 @default.
• W2107611262 cites W2106190666 @default.
• W2107611262 cites W2110796675 @default.
• W2107611262 cites W2117949454 @default.
• W2107611262 cites W2118039525 @default.
• W2107611262 cites W2151418948 @default.
• W2107611262 cites W2913004508 @default.
• W2107611262 cites W2950488518 @default.
• W2107611262 doi "https://doi.org/10.1016/j.entcs.2010.12.006" @default.
• W2107611262 hasPublicationYear "2010" @default.
• W2107611262 type Work @default.
• W2107611262 sameAs 2107611262 @default.
• W2107611262 citedByCount "5" @default.
• W2107611262 countsByYear W21076112622012 @default.
• W2107611262 countsByYear W21076112622016 @default.
• W2107611262 crossrefType "journal-article" @default.
• W2107611262 hasAuthorship W2107611262A5003652760 @default.
• W2107611262 hasAuthorship W2107611262A5038730637 @default.
• W2107611262 hasAuthorship W2107611262A5085606339 @default.
• W2107611262 hasBestOaLocation W21076112621 @default.
• W2107611262 hasConcept C101468663 @default.
• W2107611262 hasConcept C112505250 @default.
• W2107611262 hasConcept C11413529 @default.
• W2107611262 hasConcept C120314980 @default.
• W2107611262 hasConcept C142362112 @default.
• W2107611262 hasConcept C147969180 @default.
• W2107611262 hasConcept C153349607 @default.
• W2107611262 hasConcept C154317977 @default.
• W2107611262 hasConcept C199360897 @default.
• W2107611262 hasConcept C202751555 @default.
• W2107611262 hasConcept C2776235265 @default.
• W2107611262 hasConcept C35527583 @default.
• W2107611262 hasConcept C41008148 @default.
• W2107611262 hasConcept C55493867 @default.
• W2107611262 hasConcept C558565934 @default.
• W2107611262 hasConcept C73301696 @default.
• W2107611262 hasConcept C80444323 @default.
• W2107611262 hasConcept C86803240 @default.
• W2107611262 hasConceptScore W2107611262C101468663 @default.
• W2107611262 hasConceptScore W2107611262C112505250 @default.
• W2107611262 hasConceptScore W2107611262C11413529 @default.
• W2107611262 hasConceptScore W2107611262C120314980 @default.
• W2107611262 hasConceptScore W2107611262C142362112 @default.
• W2107611262 hasConceptScore W2107611262C147969180 @default.
• W2107611262 hasConceptScore W2107611262C153349607 @default.
• W2107611262 hasConceptScore W2107611262C154317977 @default.
• W2107611262 hasConceptScore W2107611262C199360897 @default.
• W2107611262 hasConceptScore W2107611262C202751555 @default.
• W2107611262 hasConceptScore W2107611262C2776235265 @default.
• W2107611262 hasConceptScore W2107611262C35527583 @default.
• W2107611262 hasConceptScore W2107611262C41008148 @default.
• W2107611262 hasConceptScore W2107611262C55493867 @default.
• W2107611262 hasConceptScore W2107611262C558565934 @default.
• W2107611262 hasConceptScore W2107611262C73301696 @default.
• W2107611262 hasConceptScore W2107611262C80444323 @default.
• W2107611262 hasConceptScore W2107611262C86803240 @default.
• W2107611262 hasLocation W21076112621 @default.
• W2107611262 hasLocation W21076112622 @default.
• W2107611262 hasOpenAccess W2107611262 @default.
• W2107611262 hasPrimaryLocation W21076112621 @default.
• W2107611262 hasRelatedWork W1537768499 @default.
• W2107611262 hasRelatedWork W1542567763 @default.
• W2107611262 hasRelatedWork W1987535580 @default.
• W2107611262 hasRelatedWork W1993249728 @default.
• W2107611262 hasRelatedWork W2001661334 @default.
• W2107611262 hasRelatedWork W2044327544 @default.
• W2107611262 hasRelatedWork W206643225 @default.
• W2107611262 hasRelatedWork W2118039525 @default.
• W2107611262 hasRelatedWork W2141445317 @default.
• W2107611262 hasRelatedWork W2187328342 @default.
• W2107611262 hasRelatedWork W2395979710 @default.
• W2107611262 hasRelatedWork W2528403641 @default.
• W2107611262 hasRelatedWork W2592881726 @default.
• W2107611262 hasRelatedWork W26496825 @default.
• W2107611262 hasRelatedWork W2945003108 @default.
• W2107611262 hasRelatedWork W3006229002 @default.
• W2107611262 hasRelatedWork W3150472087 @default.
• W2107611262 hasRelatedWork W656401910 @default.
• W2107611262 hasRelatedWork W68968673 @default.
• W2107611262 hasRelatedWork W2168183207 @default.
• W2107611262 isParatext "false" @default.

• next