Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study.

Siegfried Fischer, Andreas Scholz, Dirk Taubner

Browse the full CAV paper archive.