|
СТ |
Place Bisimulations in Petri Nets |
1992 |
Autant C., Schnoebelen Ph. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
|
СТ |
A Hierarchy of Temporal Logics with Past |
1994 |
Laroussinie F., Schnoebelen Ph. |
|
|
|
Lecture Notes in Computer Science |
26.03.1994 |
|
СТ |
A Formal Framework for the Analysis of Recursive-Parallel Programs |
1997 |
Kushnarenko O., Schnoebelen Ph. |
|
|
|
Lecture Notes in Computer Science |
16.09.1997 |
|
СТ |
The Complexity of Propositional Linear Temporal Logics in Simple Cases |
1998 |
Dermi S., Schnoebelen Ph. |
|
|
|
Lecture Notes in Computer Science |
31.03.1998 |
|
СТ |
On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics |
2000 |
Laroussinie F., Schnoebelen Ph., Turuani M. |
|
|
|
Lecture Notes in Computer Science |
05.05.2000 |
|
СТ |
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems |
2001 |
Schnoebelen Ph. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness |
2006 |
Baier Ch., Bertrand N., Schnoebelen Ph. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
11.01.2007 |
