P.A. Palanque and J.C. Campos
AMAN Case Study
In Rigorous State-Based Methods - ABZ 2023, volume 14010 of Lecture Notes in Computer Science, pages 265-283. Springer. 2023.

visit publisher   

@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.28