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{Stachurski:1998:BRV,
author = "Andrzej Stachurski",
title = "Book Review: {{\em Verification of Sequential and
Concurrent Programs}}",
journal = j-IEEE-CONCURR,
volume = "6",
number = "3",
pages = "88--88",
month = jul # "\slash " # sep,
year = "1998",
CODEN = "IECMFX",
ISSN = "1092-3063 (print), 1558-0849 (electronic)",
ISSN-L = "1092-3063",
bibdate = "Mon Jun 7 07:52:29 MDT 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/ieeeconcurrency.bib",
URL = "http://dlib.computer.org/pd/books/pd1998/pdf/p3085.pdf",
acknowledgement = ack-nhfb,
}
Related entries
- Book,
5(1)80,
5(1)81,
5(1)82,
5(1)85,
5(1)86,
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)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
- concurrent,
5(3)23,
5(3)44,
5(3)55,
5(4)2,
6(1)36,
6(1)85,
6(3)2,
6(3)89,
6(4)11,
6(4)74,
8(4)34
- program,
5(1)26,
5(1)41,
5(2)74,
5(2)88,
5(3)12,
5(3)44,
5(4)18,
5(4)69,
6(3)34,
7(4)88,
8(1)37,
8(4)42
- review,
5(1)80,
5(1)81,
5(1)82,
5(1)85,
5(1)86,
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)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
- Sequential,
5(3)28
- Stachurski, Andrzej,
7(4)88
- Verification,
5(1)86