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