Siegfried Fischer

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Siegfried Fischer, Andreas Scholz
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. Formal Methods Syst. Des. 4 (2) (1994)
Siegfried Fischer, Andreas Scholz, Dirk Taubner
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. CAV (1992)