СБ |
Concurrency, Specification, and Programming - CS&P 2004: Vol.3: Multiagent Systems and Applications: Proc./Workshop. Caputh, September 24-26, 2004 |
2004 |
|
|
- Burkhard H. -D.
- Czaja L.
- Skowron A.
- Schlinghof H.
|
Humboldt Univ. Berlin |
|
02.09.2006 |
СБ |
Concurrency, Specification, and Programming - CS&P 2004: Vol. 2: Specification and Verification: Proc./Workshop. Caputh, September 24-26, 2004 |
2004 |
|
|
- Burkhard H. -D.
- Czaja L.
- Skowron A.
- Schlingloff H.
|
Humboldt Univ. Berlin |
|
02.09.2006 |
СБ |
Concurrency, Specification, and Programming - CS&P 2004: Vol. 1: Petri Nets and Automata: Proc./Workshop. Caputh, September 24-26, 2004 |
2004 |
|
|
- Burkhard H. -D.
- Czaja L.
- Skowron A.
- Schlingloff H.
|
Humboldt Univ. Berlin |
|
02.09.2006 |
СБ |
Workshop Concurrency, Specification & Programming, Berlin, September 25-27, 1996 |
1996 |
|
|
- Czaja L.
- Starke P.
- Burkhard H. -D.
- Lenz M.
|
Humboldt Univ. Berlin |
|
03.12.1999 |
СБ |
Concurrency Specification and Programming: Proc./CS&P'97 Workshop. Warsaw, Poland, October 1997 |
1997 |
|
|
- Burkhard H. -D.
- Czaja L.
- Starke P.
|
|
|
01.11.1997 |
СБ |
Fundamentals of Computation Theory: 1th Intern. Symp., FCT 97. Krakow, Poland, September 1997 |
1997 |
|
Lecture Notes in Computer Science |
- Chlebus B. S.
- Czaja L.
|
|
|
20.09.1997 |
СБ |
Concurrency Specification and Programming: Proc./CS&P'93 Workshop. Nieborow near Warsaw, Poland, 14-16 October 1993 |
1994 |
|
|
- Burkhard H-D.
- Czaja L.
- Starke P.
|
|
|
27.10.1994 |