Publication Records

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.

   Name in Czech: Mohou flash paměti pomoci při ověřování modelu?
   Informatics. English. Italy.
   Keywords in English: I/O Model Checking; External Memory Algorithmics
   Type of proceedings: pre-proceedings
   International impact: yes
   Reviewed: yes
   Changed by: RNDr. Pavel Šimeček, Ph.D., učo 51636. Changed: 25/11/2008 13:45.

   More: https://is.muni.cz/publication/777827/en