TY - BOOK ID - 130079142 TI - Tools and Algorithms for the Construction and Analysis of Systems AU - Fisman, Dana AU - Roşu, Grigore AU - SpringerLink (Online service) PY - 2022 SN - 9783030995270 PB - Cham Springer International Publishing :Imprint: Springer DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:130079142 AB - ER -