@book{57096,
	author = {Liu, Jianghua. and SpringerLink (Online service)},
	title = {Tools for Design, Implementation and Verification of Emerging Information Technologies},
	publisher = {Springer Nature Switzerland :},
	year = {2024.},
	series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,},
	address = {Cham :},
	edition = {1st ed. 2024.},
	url = {https://doi.org/10.1007/978-3-031-51399-2}
}