|
СТ |
Axiomatizing an Algebra of Step Reactions for Synchronous Languages |
2002 |
Luttgen G., Mendler M. |
|
|
|
Lecture Notes in Computer Science |
04.09.2002 |
|
СТ |
Analyzing Mode Confusion via Model Checking |
1999 |
Luttgen G., Carreno V. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Non-monotone Fixpoint Iterations to Resolve Second Order Effects |
1996 |
Geser A., Knoop J., Luttgen G., Ruthing O., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
21.05.1996 |
|
СТ |
Priorities for Modeling and Verifying Distributed Systems |
1996 |
Cleaveland R., Luttgen G., Natarajan V., Sims S. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
П |
Compositional Minimization of Finite State Systems Using Interface Specifications |
1995 |
Graf S., Steffen B., Luttgen G. |
|
|
Univ.Passau |
|
05.07.1995 |
|
П |
Chaotic Fixed Point Iterations |
1994 |
Geser A., Knoop J., Luttgen G., Steffen B., Ruthing O. |
|
|
Univ.Passau |
|
28.01.1995 |
