|
СТ |
A Formal Theory of Undirected Graphs in Higher-Order Logic |
1994 |
Chou C. -T. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
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 |
|
СТ |
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 |
