[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Discrimination by parallel observers
Dezani-Ciancaglini, M.; Tiuryn, J.; Urzyczyn, P.
- 作者Dezani-Ciancaglini, M.; Tiuryn, J.; Urzyczyn, P.
- 文件大小1052.85KB
- 发表时间1997
- DOI10.1109/lics.1997.614965
- 页码396-407