A handover procedure for a mobile stations in TLA+ : paper at the 7th International Workshop on Verification in New Orientations (VINO '98), August 29 - September 2, 1998, Vicosoprano (Pongello), Val Bregaglia, Switzerland /
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | Undetermined |
| Izdano: |
1998.
|
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
Vzdrževanje sistema
Trenutno vzdržujemo knjižnični informacijski sistem.
Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate: