Professor of Computer Science and Engineering

York University

Author of Ostroff, J.S. Temporal Logic for Real-Time Systems. Advanced Software Development Series, ed. J. Kramer. Research Studies Press Limited (distributed by John Wiley and Sons), England, 1989.