|
М |
The Generic Development Language Deva. Presentation and Case Studies |
1993 |
Weber M., Simons M., Lafontaine C. |
Lecture Notes in Computer Science |
|
|
|
07.12.1993 |
|
СТ |
An Experimental Support System for Formal Mathematical Reasoning |
1994 |
Anlauff M., Jahnichen S., Simons M. |
|
|
|
Lecture Notes in Computer Science |
14.12.1994 |
|
СТ |
Expressing Irregular Computations in Modern Fortran Dialects |
1998 |
Prins J. F., Chatterjee S., Simons M. |
|
|
|
Lecture Notes in Computer Science |
20.11.1998 |
|
СТ |
A Component Framework for Dynamic Reconfiguration of Distributed Systems |
2002 |
Chen X., Simons M. |
|
|
|
Lecture Notes in Computer Science |
26.07.2002 |
