@article{journals/spe/CeruttiLSZZ07,
	title = {A diagnostic environment for automaton networks.},
	author = {Sergio Cerutti and Gianfranco Lamperti and M. Scaroni and Marina Zanella and Davide Zanni},
	journal = {Softw., Pract. Exper.},
	number = {4},
	pages = {365-415},
	url = {http://dblp.uni-trier.de/db/journals/spe/spe37.html#CeruttiLSZZ07},
	volume = {37},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/27d65f303d38b4b65c0ed0faedf2743be/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1002/spe.773}, date = {2007-05-25},
	keywords = {dblp }
}