ŘEHÁK, Vojtěch. Randomized symbolic model checking. Online. Brno, 2002. iii, 38. [citováno 2024-04-24] |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | Randomized symbolic model checking |
Authors | ŘEHÁK, Vojtěch |
Edition | Brno, iii, 38, 2002. |
Other information | |
---|---|
Changed by | The record has been imported from the library system. Changed: 8/8/2022 05:09. |
PrintDisplayed: 24/4/2024 05:16