Hybrid specification of reactive systems: an institutional approach (Q3095244)
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: Hybrid specification of reactive systems: an institutional approach |
scientific article; zbMATH DE number 5965364
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Hybrid specification of reactive systems: an institutional approach |
scientific article; zbMATH DE number 5965364 |
Statements
Hybrid Specification of Reactive Systems: An Institutional Approach (English)
0 references
28 October 2011
0 references
algebraic specification
0 references
institution
0 references
0.7923532128334045
0 references
0.7410290837287903
0 references
0.7358413338661194
0 references
0.7331201434135437
0 references
0.732683002948761
0 references
