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. |