The Library
ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS
Tools
Tools
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, contact author.| 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 |
