Modeling and verification of infinite systems with resources (Q2871475)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modeling and Verification of Infinite Systems with Resources |
scientific article; zbMATH DE number 6243324
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modeling and verification of infinite systems with resources |
scientific article; zbMATH DE number 6243324 |
Statements
8 January 2014
0 references
pushdown systems
0 references
reachability with annotations
0 references
quantitative automata and logics
0 references
Modeling and verification of infinite systems with resources (English)
0 references
