AutoFocus - A Tool for Distributed Systems Specification (1996)

by F Huber, B Schätz, A Schmidt, K Spies
Venue:In Proceedings of FTRTFT’96, number 1135 in LNCS