![]() | ![]() |
1999 | ||
---|---|---|
2 | EE | Zdzislaw Splawski, Pawel Urzyczyn: Type Fixpoints: Iteration vs. Recursion. ICFP 1999: 102-113 |
1997 | ||
1 | EE | Zdzislaw Splawski: Synchronization mechanisms for multimedia streams and their specification in timed LOTOS. EUROMICRO 1997: 456-463 |
1 | Pawel Urzyczyn | [2] |