@book{57344,
	author = {Ubar, Raimund. and Raik, Jaan. and SpringerLink (Online service)},
	title = {Structural Decision Diagrams in Digital Test},
	publisher = {Springer Nature Switzerland :},
	year = {2024.},
	series = {Computer Science Foundations and Applied Logic,},
	address = {Cham :},
	edition = {1st ed. 2024.},
	url = {https://doi.org/10.1007/978-3-031-44734-1}
}