Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings
Publisher: Springer
Published: 2012
ISBN-13: 9783642307928