Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

A case-study in timed refinement: a mine pump

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Mahony, B.P. ; Dept. of Comput. Sci., Queensland Univ., Qld., Australia ; Hayes, I.J.