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.
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
Actions (login required)
 |
View Item |
