The Library

ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS

Tools

UNSPECIFIED (1991) ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS. In: 2ND INTERNATIONAL SYMP ON FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, UNIV NIJMEGEN, NIJMEGEN, NETHERLANDS, JAN 08-10, 1992. Published in: FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 571 pp. 1-20.

Full text not available from this repository.
Item Type: Conference Item (UNSPECIFIED)
Subjects: Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Series Name: LECTURE NOTES IN COMPUTER SCIENCE
Journal or Publication Title: FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
Publisher: SPRINGER-VERLAG BERLIN
ISBN: 3-540-55092-5
ISSN: 0302-9743
Editor: Vytopil, J
Date: 1991
Volume: 571
Number of Pages: 20
Page Range: pp. 1-20
Publication Status: Published
Title of Event: 2ND INTERNATIONAL SYMP ON FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
Location of Event: UNIV NIJMEGEN, NIJMEGEN, NETHERLANDS
Date(s) of Event: JAN 08-10, 1992
URI: http://wrap.warwick.ac.uk/id/eprint/21180

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item View Item