-
RecordNumber
32366
-
Title
Linear time, branching time and partial order in logics and models for concurrency
-
Editor
J. W. de Bakker ¶ W. P. de Roever ¶ G. Rozenberg, eds
-
Publication
Springer
-
Publication Year
c 1989
-
Collation
viii, 713 p.: diagrs
-
Series
Lecture notes in computer science; v. 354
-
Bibliography
Includes bibliographies
-
Subject
Linear time invariant systems , Linear systems
-
ADDED ENTRIES
Bakker, J. W. de, ed , ^dSeries: Lecture notes in computer science; v. 354
-
Main Class
003
-
Sub Class
.74
-
Cutter no
L754
-
وارد كنندة اطلاعات
fazel^d//
-
Link To Document :
