Milan Lenco

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Digital Libraries

Transition Systems

Top Venues

J. Cheminformatics

Publications

Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser
DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. CAV (2013)
Jakub Stepán, Petr Kulhánek, Milan Lenco, Zora Strelcová, Ales Krenek, Jaroslav Koca
Nemesis - a molecular modeling package. J. Cheminformatics 5 (S-1) (2013)