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