@INPROCEEDINGS{ICINCO08,
author = {Giuseppe Della Penna and Benedetto Intrigila and Nadia Lauri and Daniele Magazzeni},
title = {OBDD Compression of Numerical Controllers},
series = {ICINCO 2008, Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics, Intelligent Control Systems and Optimization},
booktitle = {Proceedings of 5th International Conference on Informatics in Control, Automation and Robotics},
editor = {INSTICC Press},
pages = {43--50},
year = {2008},
month = {5},
}