|
СБ |
Formal Methods for Components and Objects: Proc./First Intern. Symp., FMCO 2002, Leiden, The Netherlands, November 2002 |
2003 |
|
Lecture Notes in Computer Science |
- De Boer F. S.
- Bonsangue M. M.
- Graf S.
- De Roever W. -P.
|
|
|
15.01.2004 |
|
СБ |
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proc./Third Intern. Symp. Organized Jointly with the Working Group Provably Correct Systems - ProCoS. Lubeck, Germany, September 1994 |
1994 |
|
Lecture Notes in Computer Science |
- Langmaack H.
- De Roever W. -P.
- Vytopil J.
|
|
|
12.10.1994 |
|
СБ |
A Decade of Concurrency - Reflections and Perspectives: Proc./REX School-Symp. Noordwijkerhout, The Netherlands, June 1993 |
1994 |
|
Lecture Notes in Computer Science |
- De Bakker J. W.
- De Roever W. -P.
- Rozenberg G.
|
|
|
03.08.1994 |
