|
СТ |
The Development of the RAISE Tools |
2003 |
George C. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
|
СТ |
An Operational Semantics for Timed RAISE |
1999 |
Yong X., George C. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Combining and Distributing Hierarchical Systems |
1998 |
George C., Dung D. T. |
|
|
|
Lecture Notes in Computer Science |
10.12.1998 |
|
П |
Distributed Train Rescheduling |
1995 |
George C. |
|
|
UNU/IIST |
|
02.07.1996 |
|
П |
A Theory of Distributing Train Rescheduling |
1995 |
George C. |
|
|
UNU/IIST |
|
02.07.1996 |
|
П |
Scheduling and Rescheduling of Trains |
1995 |
Bjorner D., George C., Prehn S. |
|
|
UNU/IIST |
|
02.07.1996 |
