|
СТ |
An Abstract Interpretation Framework for Analysing Mobile Ambients |
2001 |
Levi F., Maffeis S. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
A Symbolic Semantics for Abstract Model Checking |
1998 |
Levi F. |
|
|
|
Lecture Notes in Computer Science |
01.10.1998 |
|
СТ |
A Process Language for Statecharts |
1997 |
Levi F. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
Compilative Constructive Negation in Constraint Logic Programs |
1994 |
Bruscoli P., Levi F., Levi G., Meo M. C. |
|
|
|
Lecture Notes in Computer Science |
30.04.1994 |
