Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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.

Request Changes to record.

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:
DateEvent
1991UNSPECIFIED
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 View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us