Towards a Logic for Abstract MetaFinite State Machines (Q5445311)
From MaRDI portal
scientific article; zbMATH DE number 5242145
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards a Logic for Abstract MetaFinite State Machines |
scientific article; zbMATH DE number 5242145 |
Statements
Towards a Logic for Abstract MetaFinite State Machines (English)
0 references
4 March 2008
0 references
