2006
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence
Publication
Publication
Acta Cybernetica , Volume 17 p. 471- 483
| Additional Metadata | |
|---|---|
| University of Szeged, Hungary | |
| Acta Cybernetica | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Chen, T., Han, T., & Lu, J. (2006). On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. Acta Cybernetica, 17, 471–483. |
|