<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Report CS-RR-129
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
M. Joseph and A. Goswami,
Formal Description of Real-Time Systems: A Review
(August 1, 1988).
<%@ include file="cited.html" %>
M. Joseph and A. Goswami,
"Formal Description of Real-Time Systems: A Review",
Information and Software Technology
31(2),
pp. 67-76
(1989)
M. Joseph and A. Goswami,
"Formal Description of Real-Time Systems: A Review", in
The Software Life Cycle,
ed. D. Ince and D. Andrews,
Butterworths,
pp. 291-310
(1990)
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>