Entry Zuck:2004:MCA from complngs.bib
Last update: Thu Jun 20 02:00:37 MDT 2019
Top |
Symbols |
Numbers |
Math |
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{Zuck:2004:MCA,
author = "Lenore Zuck and Amir Pnueli",
title = "Model checking and abstraction to the aid of
parameterized systems (a survey)",
journal = j-COMP-LANGS-SYS-STRUCT,
volume = "30",
number = "3--4",
pages = "139--169",
month = oct # "\slash " # dec,
year = "2004",
CODEN = "????",
ISSN = "1477-8424 (print), 1873-6866 (electronic)",
ISSN-L = "1477-8424",
bibdate = "Thu Jul 14 18:30:04 MDT 2005",
bibsource = "http://www.math.utah.edu/pub/tex/bib/complngs.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/14778424",
}
Related entries
- abstraction,
2(3)61,
2(4)135,
2(4)149,
4(3)139,
6(3)131,
6(3)139,
8(3)125,
9(1)1,
10(1)1,
10(1)37,
10(3)211,
11(3)143,
12(2)69,
12(2)109,
13(3)109,
14(2)83,
14(3)137,
15(1)1,
15(3)141,
15(4)251,
17(1)19,
17(3)157,
20(4)253,
25(3)165,
47(z)2,
47(z)62
- checking,
11(3)123,
12(2)69,
15(1)1,
17(2)147,
19(1)19,
20(1)25,
21(3)129,
22(4)215,
30(3)99,
31(2)71,
38(1)61,
40(2)73,
44(z)72,
45(z)53,
45(z)191,
47(z)1,
47(z)19,
47(z)170
- parameterized,
14(3)165,
15(3)163
- survey,
9(1)51,
17(4)213,
18(3)185,
43(z)139