[Back]


Scientific Reports:

J. Blieberger, B. Scholz:
"Automatic Symbolic Verification of Real-Time Programs (TR 183/1-75)";
1997.