|
СТ |
Building and Executing Proof Strategies in a Formal Metatheory |
1993 |
Armando A., Cimatti A., Vigano L. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.12.1993 |
|
СТ |
Intospective Metatheoretic Reasoning |
1994 |
Giunchiglia F., Cimatti A. |
|
|
|
Lecture Notes in Computer Science |
13.01.1995 |
|
СТ |
Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study |
1995 |
Cimatti A., Serafini L. |
|
|
|
Lecture Notes in Artificial Intelligence |
30.03.1995 |
|
СТ |
Industrial Applications of Model Checking |
2001 |
Cimatti A. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
Bounded Model Checking for Timed Systems |
2002 |
Audemard G., Cimatti A., Kornilowicz A., Sebastiani R. |
|
|
|
Lecture Notes in Computer Science |
29.11.2002 |
|
СТ |
Bounded Model Checking for Past LTL |
2003 |
Beneditti M., Cimatti A. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Validation of Multiagent Systems by Symbolic Model Checking |
2003 |
Benerecetti M., Cimatti A. |
|
|
|
Lecture Notes in Computer Science |
29.03.2003 |
