[Back]


Scientific Reports:

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


Created from the Publication Database of the Vienna University of Technology.