AutoFocus -- A Tool for Distributed Systems Specification (1996)

by Franz Huber , Bernhard Schätz , Alexander Schmidt , Katharina Spies
Venue:PROCEEDINGS FTRTFT’96 - FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
Citations:32 - 4 self