Вы здесь

Zuck L. D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols 1992 Halpern J. Y., Zuck L. D. J. of the ACM 01.10.1992
СТ Games I/O Automata Play 1992 Reingold N., Wang D. -W., Zuck L. D. Lecture Notes in Computer Science 16.10.1992
СТ Shape Analysis of Single-Parent Heaps 2007 Balaban I., Pnueli A., Zuck L. D. Lecture Notes in Computer Science Lecture Notes in Computer Science 02.03.2007
СТ Timed Ethernet: Real-Time Formal Specification of Ethernet 1992 Weinberg H. B., Zuck L. D. Lecture Notes in Computer Science 16.10.1992