Original language | English |
---|---|
Pages (from-to) | 352-366 |
Number of pages | 15 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 70 |
Issue number | 3 |
DOIs | |
Publication status | Published - 1 Nov 2002 |
Superposition: Composition vs refinement of non-deterministic, action-based systems
A. Lopes, J.L. Fiadeiro
Research output: Contribution to journal › Article › peer-review