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. ISBN 3-540-55092-5. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
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 | ||||
Official Date: | 1991 | ||||
Dates: |
|
||||
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 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |