No. 8 (1998): RS-08 Distributed Versions of Linear Time Temporal Logic: A Trace Perspective

Published: 1998-01-08