Вы здесь

Zuck L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Liveness with Invisible Ranking 2004 Fang Y., Piterman N., Pnueli A., Zuck L. Lecture Notes in Computer Science 12.02.2004
СТ From Falsification to Verification 2001 Peled D., Pnueli A., Zuck L. Lecture Notes in Computer Science 22.12.2001
СТ From Model Checking to a Temporal Proof 2001 Peled D., Zuck L. Lecture Notes in Computer Science 14.06.2001
СТ Bauhaus Linda 1995 Carriero N., Gelernter D., Zuck L. Lecture Notes in Computer Science Object-Based Models and Languages for Concurrent Systems 30.08.1995