Вы здесь
Zuck L. D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 | ||
| СТ | Games I/O Automata Play | 1992 | Reingold N., Wang D. -W., Zuck L. D. | Lecture Notes in Computer Science | 16.10.1992 | |||
| СТ | Timed Ethernet: Real-Time Formal Specification of Ethernet | 1992 | Weinberg H. B., Zuck L. D. | Lecture Notes in Computer Science | 16.10.1992 | |||
| СТ | 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 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Verification, Model Checking, and Abstract Interpretation: Proc./9th International Conference, VMCAI 2008. San Francisco, USA, January 2008 | 2008 | Lecture Notes in Computer Science |
|
15.04.2008 | |||
| СБ | Tools and Algorithms for the Construction and Analysis of Systems: Proc./11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005 | 2005 | Lecture Notes in Computer Science |
|
28.05.2005 | |||
| СБ | Verification, Model Checking, and Abstract Interpretation: Proc./4th Intern. Conf., VMCAI 2003, New York, NY, USA, January 2003 | 2003 | Lecture Notes in Computer Science |
|
31.01.2003 |