|
СТ |
Model Checking Durational Probabilistic Systems (Extended Abstract) |
2005 |
Laroussinie F., Sproston J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.07.2005 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
From Timed Automata to Logic - and Back |
1995 |
Laroussinie F., Larsen K. G., Weise C. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1995 |
24.10.1995 |
|
СТ |
Compositional Model Checking of Real Time Systems |
1995 |
Laroussinie F., Larsen K. G. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
СТ |
A Hierarchy of Temporal Logics with Past |
1994 |
Laroussinie F., Schnoebelen Ph. |
|
|
|
Lecture Notes in Computer Science |
26.03.1994 |
