Siegfried Fischer

According to our database, Siegfried Fischer authored at least 2 papers between 1992 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1994

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

Siegfried Fischer, Andreas Scholz

Formal Methods Syst. Des., 1994

1992

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

Siegfried Fischer, Andreas Scholz, Dirk Taubner

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992