Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. - Siegfried Fischer; Andreas Scholz; Dirk Taubner (CAV, 1992)

Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. - Siegfried Fischer; Andreas Scholz (Formal Methods Syst. Des., 1994)