Automated derivation of protocols handling distributed virtual queues /
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Book Chapter |
| Jezik: | English |
| Sorodne knjige/članki: | Vsebovano v:
Proceedings of the Tenth International symposium on computer and information sciences, October 30 - November 1, 1995 |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| LEADER | 00707naa a2200145 ib4500 | ||
|---|---|---|---|
| 001 | 2075926 | ||
| 003 | SI-MaCOB | ||
| 005 | 19960705000000.0 | ||
| 008 | 960705s1995 tu |||||||||||||| ||eng c | ||
| 040 | |a KTFMB |b slv |c SI-MaIIZ |e ppiak | ||
| 080 | |a 681.3.06 | ||
| 100 | 1 | |a Kapus-Kolar, Monika. |4 aut | |
| 245 | 0 | 0 | |a Automated derivation of protocols handling distributed virtual queues / |c Monika Kapus-Kolar. |
| 300 | |a Str. 383-390. | ||
| 773 | 0 | |a International Symposium on Computer and Information Sciences (10th : 1995 : Kuşadasi) |t Proceedings of the Tenth International symposium on computer and information sciences, October 30 - November 1, 1995 |d Istanbul : Istanbul Technical University, 1995 |w 2075414 |z 9755610669 |g Str. 383-390 | |