Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)

Distributed

by: Jianping Wu · Samuel T. Chanson · Quiang Gao

Hardcover

details (United States).

ISBN: 978-0-7923-8646-9

ISBN-10: 0-7923-8646-9

Springer · 1999