Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. 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: 5/7/2024 23:14