Reachability in Parameterized Systems: All Flavors of Threshold Automata (Q5009433)
From MaRDI portal
scientific article; zbMATH DE number 7378563
Language | Label | Description | Also known as |
---|---|---|---|
English | Reachability in Parameterized Systems: All Flavors of Threshold Automata |
scientific article; zbMATH DE number 7378563 |
Statements
4 August 2021
0 references
threshold \& counter automata
0 references
parameterized verification
0 references
reachability
0 references
0 references
0 references
0 references
0 references
0 references
Reachability in Parameterized Systems: All Flavors of Threshold Automata (English)
0 references