The University of Warwick Library - WebBridge

Two-sorted metric temporal logics
4th Biennial Conference on Algebraic Methodology and Software Technology (AMAST 95).  v. 183. no. 2.   1997-09-15. p. 187 - 214... issn: 0304-3975 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.