Model checking /

Autor Clarke, E. M., 1945-, Grumberg, Orna, 1952-, Peled, Doron, 1962-, Kroening, Daniel, Veith, Helmut
Vydáno 2018

25 years of model checking : history, achievements, perspectives /

Vydáno 2008

Logic for programmming artificial intelligence, and reasoning : 15th International Conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings /

Vydáno 2008

Handbook of model checking /

Vydáno 2018