@inproceedings{PalanqueC:2023, author = {P.A. Palanque and J.C. Campos}, title = {{AMAN} Case Study}, booktitle = {Rigorous State-Based Methods - ABZ 2023}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {265-283}, publisher = {Springer}, year = {2023}, doi = {10.1007/978-3-031-33163-3_21} }
Generated by mkBiblio 2.6.26