state space generation tool for LOTOS applications.
Series: VTT publications -- 241.; VTT julkaisuja -- 241.
Published: 1995
Notes: SHORT ANALYTIC RECORD.