Masaryk University
Publication Records
česky
|
in English
Filter publications
Filters
Linked to RIV:
yes
no
Publication year:
2008
Disable all filters
No publication matches the selected criteria.
2008
Can Flash Memory Help in Model Checking?
BARNAT, Jiří
,
Luboš BRIM
, Stefan EDELKAMP, Damian SULEWSKI and
Pavel ŠIMEČEK
. Can Flash Memory Help in Model Checking? In
13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008)
. L'Aquilla: ERCIM, 2008, p. 159-174.
More:
https://is.muni.cz/publication/777827/en
Display details
Displayed:
27/7/2024 20:06