Andreas Scholz
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Known people with the same name:
- Andreas Scholz 001 (Technical University Munich, Germany)
- Andreas Scholz 002 (Technical University Munich, Germany)
Bibliography
1994
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study.
Formal Methods Syst. Des., 1994
1992
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992