Verifikace souběžných procesů s použitím nástroje SPIN
BARNAT, Jiří. Verifikace souběžných procesů s použitím nástroje SPIN. Brno, 2000, 62 s. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | Verifikace souběžných procesů s použitím nástroje SPIN |
Authors | BARNAT, Jiří. |
Edition | Brno, 62 s. 2000. |
Other information | |
---|---|
Changed by | The record has been imported from the library system. Changed: 4/3/2024 04:44. |
PrintDisplayed: 7/5/2024 01:46