Book

Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings

by Holger Giese