B. Grahlmann. Proceedings of TACAS'98 (Tools and Algorithms for the Construction
and Analysis of Systems)
, том 1384 из Lecture Notes in Computer Science, стр. 102--117. Springer-Verlag, (марта 1998)
A. Alexandrov, M. Ionescu, K. Schauser, и C. Scheiman. Proc. 7th Annual ACM Symposium on Parallel Algorithms and
Architectures SPAA'95
, стр. 95--105. Santa Barbara, California, (июля 1995)UC Santa Barbara.
R. Keller, и R. Schauer. Proceedings of the 1998 International Conference on Software
Engineering
, стр. 302--311. IEEE Computer Society Press / ACM Press, (1998)
O. Nierstrasz. Proceedings of the 8th ACM Conference on Object-Oriented Programming
Systems, Languages and Applications (OOPSLA-93)
, том 28, 10 из ACM SIGPLAN Notices, стр. 1--15. (октября 1993)