[ACM Press the 2010 Spring Simulation Multiconference - Orlando, Florida (2010.04.11-2010.04.15)] Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10 - Reducing the state space of incompletely specified timed Moore machines
Giambiasi, NorbertYear:
2010
Language:
english
DOI:
10.1145/1878537.1878662
File:
PDF, 2.84 MB
english, 2010