Вы здесь

Chou C. -T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal Verification of a Partial-Order Reduction Technique for Model Checking 1996 Chou C. -T., Peled D. Lecture Notes in Computer Science 24.04.1996
СТ A Formal Theory of Undirected Graphs in Higher-Order Logic 1994 Chou C. -T. Lecture Notes in Computer Science 24.11.1994
СТ Mechanical Verification of Distributed Algorithms in Higher-Order Logic 1994 Chou C. -T. Lecture Notes in Computer Science 24.11.1994
СТ Predicates, Temporal Logic, and Simulations 1994 Chou C. -T. Lecture Notes in Computer Science 18.06.1994