|
СТ |
A Parametric Analysis of the State Explosion Problem in Model Checking |
2002 |
Demri S., Laroussinie F., Schnoebelen P. |
|
|
|
Lecture Notes in Computer Science |
30.03.2002 |
|
СТ |
Verifying Performance Equivalence for Timed Basic Parallel Processes |
2000 |
Berard B., Labroue A., Schnoebelen P. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Some Decidability Results for Nested Petri Nets |
2000 |
Lomazova I. A., Schnoebelen P. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Strong Bisimilarity on Nets Revisited |
1991 |
Autant C., Belmesk Z., Schnoebelen P. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
|
П |
Principles of FP2: Term Algebras for Specification of Parallel Machines |
1989 |
Schnoebelen P., Jorrand P. |
|
|
LIFIA |
|
21.02.1991 |
