articles
Detail
Publication date: 1 de June, 2021Publication Superposition: Composition vs Refinement of Non-deterministic, Action-Based Systems – Journal Formal Aspects of Computing
| Journal | Formal Aspects of Computing |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 16 |
| Number | 1 |
| Pub. Date | 01/01/2004 |