Last update: Fri Mar 2 02:05:31 MST 2018
Top |
Symbols |
Numbers |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Zalewski:1997:BRTa,
author = "Janusz Zalewski",
title = "Book Reviews: Three Books on Distributed and Reactive
Systems: {{\em Time and Probability in Formal Design of
Distributed Systems}}; {{\em Interacting Processes: A
Multiparty Approach to Coordinated}}; {{\em Temporal
Verification of Reactive Systems}}",
journal = j-IEEE-CONCURR,
volume = "5",
number = "1",
pages = "86--87",
month = jan # "\slash " # mar,
year = "1997",
CODEN = "IECMFX",
ISSN = "1092-3063 (print), 1558-0849 (electronic)",
ISSN-L = "1092-3063",
bibdate = "Tue Jan 16 06:04:48 MST 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/ieeeconcurrency.bib",
acknowledgement = ack-nhfb,
}
Related entries
- Approach,
5(3)75,
6(3)74,
6(3)87,
7(2)83,
7(4)52
- Book,
5(1)80,
5(1)81,
5(1)82,
5(1)85,
5(2)86,
5(2)88,
5(3)73,
5(3)74,
5(3)75,
5(3)76,
5(4)80,
5(4)81,
5(4)82,
6(1)84,
6(1)85,
6(1)86,
6(1)87,
6(2)91,
6(2)92,
6(2)93,
6(2)94,
6(3)85,
6(3)86,
6(3)87,
6(3)88,
6(3)89,
6(3)91,
6(4)78,
6(4)79,
6(4)79,
6(4)80,
7(1)79,
7(2)81,
7(2)81,
7(3)91,
7(3)92,
7(3)93,
7(4)88,
7(4)89,
7(4)91,
8(1)86,
8(2)86,
8(2)86,
8(3)12,
8(4)91
- books,
5(1)88,
5(2)86,
5(2)90,
5(3)77,
5(4)80,
5(4)81,
6(1)88,
6(3)86
- Design,
5(3)20,
6(1)87,
6(2)93,
6(3)52,
6(3)87,
8(2)34,
8(2)42,
8(2)86
- distributed,
5(1)13,
5(1)26,
5(1)41,
5(1)56,
5(2)8,
5(2)39,
5(2)50,
5(2)86,
5(3)12,
5(3)16,
5(3)19,
5(3)20,
5(3)21,
5(3)55,
5(3)74,
5(3)76,
5(4)5,
5(4)13,
5(4)30,
5(4)32,
5(4)40,
5(4)69,
5(4)80,
5(4)82,
6(1)36,
6(1)47,
6(1)58,
6(1)86,
6(1)94,
6(2)16,
6(2)21,
6(2)40,
6(2)78,
6(2)93,
6(3)8,
6(3)20,
6(3)42,
6(3)52,
6(3)62,
6(3)86,
6(4)80,
7(1)4,
7(1)70,
7(1)80,
7(2)85,
7(3)9,
7(4)11,
7(4)14,
7(4)52,
8(1)2,
8(1)26,
8(1)59,
8(2)2,
8(2)8,
8(2)24,
8(2)53,
8(2)86,
8(2)86,
8(3)14,
8(3)45,
8(3)48,
8(3)63,
8(4)55
- process,
5(2)50,
6(1)20,
7(3)18,
8(4)55
- review,
5(1)80,
5(1)81,
5(1)82,
5(1)85,
5(2)86,
5(2)88,
5(3)73,
5(3)74,
5(3)75,
5(3)76,
5(4)80,
5(4)81,
5(4)82,
6(1)84,
6(1)85,
6(1)86,
6(1)87,
6(2)91,
6(2)92,
6(2)93,
6(2)94,
6(3)85,
6(3)86,
6(3)87,
6(3)88,
6(3)89,
6(3)91,
6(4)78,
6(4)79,
6(4)79,
6(4)80,
7(1)79,
7(2)81,
7(2)81,
7(3)91,
7(3)92,
7(3)93,
7(4)88,
7(4)89,
7(4)91,
8(1)86,
8(2)86,
8(2)86,
8(3)12,
8(4)91
- Temporal,
5(1)56
- Three,
5(1)16
- time,
5(1)41,
5(2)50,
5(4)40,
6(2)55,
6(3)42,
6(3)52,
6(3)62,
7(4)52,
8(4)2
- Verification,
6(3)88
- Zalewski, Janusz,
5(1)85,
5(2)86