R. Owens

Bibliography

Barringer, Howard, Fisher, Michael E., Gabbay, Dov M., Owens, R. and Reynolds, Mark A. 1996. The Imperative Future: Principles of Executable Temporal Logic. Hoboken, New Jersey: John Wiley; Sons, Inc.