|
СТ |
XASM - An Extensible, Component-Based Abstract State Machines Language |
2000 |
Anlauff M. |
|
|
|
Lecture Notes in Computer Science |
27.10.2000 |
|
СТ |
Using Domain-Specific Languages for the Realization of Component Composition |
2000 |
Anlauff M., Kutter P. W., Pierantonio A., Sunbul A. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Enhanced Control Flow Graphs in Montages |
2000 |
Anlauff M., Kutter P. W., Pierantonio A. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
An Experimental Support System for Formal Mathematical Reasoning |
1994 |
Anlauff M., Jahnichen S., Simons M. |
|
|
|
Lecture Notes in Computer Science |
14.12.1994 |
