Design and Verification of Cyber-Physical Systems: From Theory to Applications - Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday
2026
Author
