External Memory LTL Model Checking

Autor Šimeček, Pavel
Vydáno 2010

Randomized algorithms for matrices and data /

Autor Mahoney, Michael W.
Vydáno 2011

Computer semantics : studies of algorithms, processors and languages /

Autor Lee, John A. N.
Vydáno 1972

The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milano, Italy, July 1-5, 2013 : proceedings /

Vydáno 2013