Unknown

Dataset Information

0

Structural Invariants for the Verification of Systems with Parameterized Architectures

ABSTRACT: We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata.

SUBMITTER: Biere A 

PROVIDER: S-EPMC7439742 | biostudies-literature | 2020 Mar

REPOSITORIES: biostudies-literature

Json Xml

Similar Datasets

Unknown Parameterized Complexity of
| S-EPMC7254919 | biostudies-literature
Unknown From the betweenness centrality in street networks to structural invariants in random planar graphs.
| S-EPMC6021391 | biostudies-literature
Unknown Structural components and architectures of RNA exosomes.
| S-EPMC3138715 | biostudies-literature
Unknown Tunnel Architectures in Enzyme Systems that Transport Gaseous Substrates.
| S-EPMC8674909 | biostudies-literature
Unknown A data integration methodology for systems biology: experimental verification.
| S-EPMC1297683 | biostudies-literature
Unknown Architectures of Lipid Transport Systems for the Bacterial Outer Membrane.
| S-EPMC5467742 | biostudies-literature
Transcriptomics Adult and larval tracheal systems exhibit different molecular architectures in Drosophila
2024-02-12 | GSE225000 | GEO
Unknown Verification of Neonatal Tetanus Surveillance Systems in Katsina State, Nigeria.
| S-EPMC5602213 | biostudies-literature
Unknown Transcriptional programming using engineered systems of transcription factors and genetic architectures.
| S-EPMC6803630 | biostudies-literature
Unknown Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents.
| S-EPMC8271994 | biostudies-literature