|
СТ |
Formal Verification and Analysis of Multimedia Systems |
1999 |
Campos S., Ribeiro-Neto B., Macedo A., Bertini L. |
|
|
|
Proc. of the ACM Multimedia 99 (Orlando, FL, Oct.-Nov., 1999) |
03.02.2000 |
|
СТ |
ProbVerus: Probabilistic Symbolic Model Checking |
1999 |
Hartonas-Garmhousen V., Campos S., Clarke E. |
|
|
|
Lecture Notes in Computer Science |
18.06.1999 |
|
СТ |
Compositional Reasoning in Model Checking |
1998 |
Berezin S., Campos S., Clarke E. M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
СТ |
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems |
1995 |
Campos S., Clarke E., Marrero W., Minea M. |
|
|
|
SIGPLAN Notices |
25.12.1995 |
