|
СТ |
Visual Abstractions for Temporal Verification |
1999 |
Manna Z., Browne A., Sipma H. B., Uribe T. E. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
Abstraction and Modular Verification of Infinite-State Reactive Systems |
1998 |
Manna Z., Colon M. A., Finkbeiner B., Sipma H. B., Uribe T. E. |
|
|
|
Lecture Notes in Computer Science |
10.12.1998 |
|
СТ |
Visual Verification of Reactive Systems |
1997 |
De Alfaro L., Manna Z., Sipma H. B., Uribe T. E. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure |
1994 |
Uribe T. E., Stickel M. E. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
