|
СТ |
UPPAAL - Now, Next, and Future |
2001 |
Amnell T., Behrmann G., Bengtsson J., D Argenio P. R., David A., Fehnker A., Hune T., Jeannet B., Larsen K. G., Moller M. O., Pettersson P., Weise C., Yi W. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
The Methodology of Modal Constraints |
1996 |
Larsen K. G., Steffen B., Weise C. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
|
СТ |
A Constraint Oriented Proof Methodology Based on Model Transition Systems |
1995 |
Larsen K. G., Steffen B., Weise C. |
|
|
|
Lecture Notes in Computer Science |
11.01.1996 |
|
СТ |
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 |
|
П |
A Constraint Oriented Proof Methodology Based on Modal Transition Systems |
1995 |
Larsen K. G., Steffen B., Weise C. |
|
|
Univ.Passau |
|
05.07.1995 |
|
СТ |
Deciding Testing Equivalence for Real-Time Processes with Dense Time |
1993 |
Steffen B., Weise C. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
