70472883

a

70472883 Gelastou, Marina Georgiou, Chryssis Philippou, Anna On the application of formal methods for specifying and verifying distributed protocols NCA, 195-204 (2008). 2008 EN

http://doi.ieeecomputersociety.org/10.1109/NCA.2008.24