10/01/2014 DMI - Università di Catania 1 Combinatorial Landscapes & Evolutionary Algorithms Prof. Giuseppe Nicosia University of Catania Department of.
Model checking of time petri nets
Combinatorial Landscapes & Evolutionary Algorithms