|
П |
Tool Coordination in MetaFrame |
1997 |
Classen A., Steffen B., Margaria T., Braun V. |
|
|
Univ.Passau |
|
05.11.1997 |
|
П |
Incremental Formalization: A Key to Industrial Success |
1995 |
Steffen B., Margaria T., Classen A., Braun V. |
|
|
Univ.Passau |
|
18.01.1996 |
|
П |
Heterogeneous Analysis and Verification for Distributed Systems |
1995 |
Steffen B., Margaria T., Classen A. |
|
|
Univ.Passau |
|
21.12.1995 |
|
СТ |
The Fixpoint-Analysis Machine |
1995 |
Steffen B., Classen A., Klein M., Knoop J., Margaria T. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
