The University of Warwick Library - WebBridge

ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS
LECTURE NOTES IN COMPUTER SCIENCE.  v. 571.   1991. p. 1 - 20... issn: 0302-9743 .   

Online access not found

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