Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395979710> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2395979710 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.
- W2395979710 created "2016-06-24" @default.
- W2395979710 creator A5003652760 @default.
- W2395979710 creator A5038730637 @default.
- W2395979710 creator A5085606339 @default.
- W2395979710 date "2011-06-01" @default.
- W2395979710 modified "2023-09-23" @default.
- W2395979710 title "Modular Verification of Interactive Systems with an Application to Biology" @default.
- W2395979710 hasPublicationYear "2011" @default.
- W2395979710 type Work @default.
- W2395979710 sameAs 2395979710 @default.
- W2395979710 citedByCount "3" @default.
- W2395979710 countsByYear W23959797102012 @default.
- W2395979710 countsByYear W23959797102013 @default.
- W2395979710 countsByYear W23959797102015 @default.
- W2395979710 crossrefType "journal-article" @default.
- W2395979710 hasAuthorship W2395979710A5003652760 @default.
- W2395979710 hasAuthorship W2395979710A5038730637 @default.
- W2395979710 hasAuthorship W2395979710A5085606339 @default.
- W2395979710 hasConcept C101468663 @default.
- W2395979710 hasConcept C115903868 @default.
- W2395979710 hasConcept C127413603 @default.
- W2395979710 hasConcept C152662350 @default.
- W2395979710 hasConcept C199360897 @default.
- W2395979710 hasConcept C201995342 @default.
- W2395979710 hasConcept C41008148 @default.
- W2395979710 hasConcept C70721500 @default.
- W2395979710 hasConcept C86803240 @default.
- W2395979710 hasConceptScore W2395979710C101468663 @default.
- W2395979710 hasConceptScore W2395979710C115903868 @default.
- W2395979710 hasConceptScore W2395979710C127413603 @default.
- W2395979710 hasConceptScore W2395979710C152662350 @default.
- W2395979710 hasConceptScore W2395979710C199360897 @default.
- W2395979710 hasConceptScore W2395979710C201995342 @default.
- W2395979710 hasConceptScore W2395979710C41008148 @default.
- W2395979710 hasConceptScore W2395979710C70721500 @default.
- W2395979710 hasConceptScore W2395979710C86803240 @default.
- W2395979710 hasLocation W23959797101 @default.
- W2395979710 hasOpenAccess W2395979710 @default.
- W2395979710 hasPrimaryLocation W23959797101 @default.
- W2395979710 hasRelatedWork W2037630877 @default.
- W2395979710 hasRelatedWork W2177563685 @default.
- W2395979710 hasRelatedWork W2285940518 @default.
- W2395979710 hasRelatedWork W2529172162 @default.
- W2395979710 hasRelatedWork W2575332577 @default.
- W2395979710 hasRelatedWork W2593032989 @default.
- W2395979710 hasRelatedWork W2888805005 @default.
- W2395979710 hasRelatedWork W2948947745 @default.
- W2395979710 hasRelatedWork W3032196567 @default.
- W2395979710 hasRelatedWork W4238335261 @default.
- W2395979710 isParatext "false" @default.
- W2395979710 isRetracted "false" @default.
- W2395979710 magId "2395979710" @default.
- W2395979710 workType "article" @default.