| CARVIEW |
Select Language
HTTP/2 200
content-security-policy: upgrade-insecure-requests;
last-modified: Fri, 01 Apr 2022 22:31:22 GMT
etag: "287c65-4ce-5db9f568e4280-gzip"
accept-ranges: bytes
vary: Accept-Encoding
content-encoding: gzip
content-length: 437
content-type: text/html
date: Sun, 18 Jan 2026 09:46:47 GMT
server: Apache
André Platzer
Forwarding
Please take a look at the Textbook: André Platzer. Logical Foundations of Cyber-Physical Systems. Springer, 2018.