Oxford logo
[Kwi91] M. Kwiatkowska. On the Domain of Traces and Sequential Composition. In Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91), pages 42-56. 1991. [bib]
Downloads:  bib bib

QAV:

Home

People

Projects

Publications