|
[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]
http://www.springerlink.com/content/f434796146433768/
|
|
Downloads:
 bib
|
|
Available from:
http://www.springerlink.com/content/f434796146433768/
|