@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},
}