|
СТ |
PLC Programming with Signal Interpreted Petri Nets |
2003 |
Klein S., Frey G., Minas M. |
|
|
|
Lecture Notes in Computer Science |
23.07.2003 |
|
СТ |
A New Approach to Consistency Control in Software Engineering |
1996 |
Heidenreich G., Minas M., Kips D. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
19.06.1996 |
|
СТ |
Generating Editors for Direct Manipulation of Diagrams |
1995 |
Viehstaedt G., Minas M. |
|
|
|
Human-Computer Interaction: Proc./The 5th Intern. Conf., EWHCI 95. |
30.05.1996 |
|
СТ |
Detecting Quantified Global Predicates in Parallel Programs |
1995 |
Minas M. |
Lecture Notes in Computer Science |
|
|
EURO-PAR 95 Parallel Processing |
19.10.1995 |
|
СТ |
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model |
1995 |
Viehstaedt G., Minas M. |
|
|
|
Lecture Notes in Computer Science |
14.07.1995 |
