Specifying message passing and time-critical systems with temporal logic
Saved in:
Main Author: | |
---|---|
Format: | Unknown |
Published: |
Berlin New York
Springer-Verlag
1992
|
Series: | Lecture notes in computer science
651 |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-66906 | ||
020 | # | # | |a 0387562834 |
090 | 0 | 0 | |a TK5105 |b .K69 1992 |
100 | 1 | # | |a Koyman, R. |q (Rond1959- |
245 | 1 | 1 | |a Specifying message passing and time-critical systems with temporal logic |c R. Koymans |
260 | # | # | |a Berlin |a New York |b Springer-Verlag |c 1992 |
300 | # | # | |a viii, 164 p. |b ill. |c 21 cm |
490 | 1 | # | |a Lecture notes in computer science |v 651 |
504 | # | # | |a Includes bibliographical references and index. |
650 | # | 0 | |a Logic, Symbolic and mathematical |
650 | # | 0 | |a Data transmission systems |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=66906 |
964 | # | # | |c BOK |d 01 |
040 | # | # | |a Shah Alam |
998 | # | # | |a 00260##a002.8.2||00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1|| |