Parameterized verification of linear networks using automata as invariants
From MaRDI portal
Publication:1974479
DOI10.1007/s001650050040zbMath0955.68069OpenAlexW2031717789MaRDI QIDQ1974479
Publication date: 7 May 2000
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650050040
Related Items (3)
Compositional analysis for verification of parameterized systems ⋮ Model Checking Parameterized Systems ⋮ Constructive logic with strong negation is a substructural logic. II
This page was built for publication: Parameterized verification of linear networks using automata as invariants
