Milan Lenco

According to our database, Milan Lenco authored at least 2 papers in 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Nemesis - a molecular modeling package.

Jakub Stepán, Petr Kulhánek, Milan Lenco, Zora Strelcová, Ales Krenek, Jaroslav Koca

J. Cheminformatics, 2013

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs.

Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser

Proceedings of the Computer Aided Verification - 25th International Conference, 2013