|
СТ |
Compositionality and Bisimulation: a negative result |
1990 |
Fantechi A., Gnesi S., Ristori G. |
|
|
Istituto di Elaborazione dell Infomazione - C.N.R. |
|
16.05.1995 |
|
СТ |
Compositionality and bisimulation: A negative resalt |
1991 |
Fantechi A., Gnesi S. |
|
|
|
Information Processing Letters |
18.09.1991 |
|
СТ |
An Expressive Logic for Basic Process Algebra |
1993 |
Fantechi A., Gnesi S., Perticaroli V. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
|
СТ |
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study |
1994 |
Bernardeschi C., Fantechi A., Simoncini L. |
|
|
|
Lecture Notes in Computer Science |
21.10.1994 |
|
СТ |
Model Checking of Non-Finite State Processes by Finite Approximations |
1995 |
De Francesco N., Fantechi A., Gnesi S., Inverardi P. |
|
|
|
Lecture Notes in Computer Science |
11.01.1996 |
|
СТ |
Formally Verifying Fault Tolerant System Designs |
2000 |
Bernardeschi C., Fantechi A., Simoncini L. |
|
|
|
The Computer Journal |
09.09.2000 |
|
СТ |
Finite Approximations for Model Checking Non-finite-state Processes |
2001 |
De Francesco N., Fantechi A., Gnesi S., Inverardi I. |
|
|
|
The Computer J. |
08.06.2001 |
