Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hybrid Specification of Reactive Systems: An Institutional Approach |
scientific article |
Statements
Hybrid Specification of Reactive Systems: An Institutional Approach (English)
0 references
28 October 2011
0 references
algebraic specification
0 references
institution
0 references
