Last update: Fri Jan 5 02:05:58 MST 2018
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{Courtiat:1996:FMA,
author = "Jean-Pierre Courtiat and Piotr Dembinski and Gerard J.
Holzmann and Luigi Logrippo and Harry Rudin and Pamela
Zave",
title = "Formal methods after 15 years: Status and trends. {A}
paper based on contributions of the panelists at the
{FORmal TEchnique '95 Conference, Montr{\'e}al, October
1995}",
journal = j-COMP-NET-ISDN,
volume = "28",
number = "13",
pages = "1845--1855",
day = "15",
month = oct,
year = "1996",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Fri Sep 24 20:21:34 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/cna/cas_free/browse/browse.cgi?year=1996&volume=28&issue=13;
http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
URL = "http://www.elsevier.com/cas/tree/store/comnet/sub/1996/28/13/1636.pdf",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
}
Related entries
- 95,
18(13)1845,
29(7)731
- based,
12(3)159,
13(2)119,
13(4)257,
14(2)221,
16(5)367,
17(1)29,
18(13)1845,
20(1)137,
20(1)189,
22(1)7,
23(5)363,
24(2)119,
24(4)311,
25(1)23,
25(6)631,
25(7)791,
25(10)1065,
26(1)5,
26(3)316,
26(3)349,
26(11)1365,
27(2)205,
27(6)953,
27(8)1247,
27(9)1399,
28(14)1887,
28(14)1939,
29(3)373,
29(5)555,
29(14)1611,
29(14)1635,
29(16)1857,
30(1)672,
30(14)1341,
30(16)1447,
30(16)1543,
30(20)1887
- conference,
9(3)175,
10(3)185,
11(2)87,
12(4)209,
14(2)123,
18(13)1845,
23(4)317,
26(1)29,
26(3)275,
27(6)1089,
28(7)931,
28(7)941,
28(7)1037,
28(7)1053,
28(7)1149,
28(7)1197,
28(7)1269,
28(7)1501,
29(8)917,
30(16)1457,
z(z)183
- contribution,
18(13)1845,
25(4)411,
25(4)570
- FORmal,
18(13)1845
- formal,
14(1)25,
14(1)61,
14(2)311,
14(3)3,
17(2)111,
18(5)335,
18(13)1845,
22(1)7,
25(1)3,
25(4)583,
25(7)723,
25(7)779,
25(7)815,
26(2)233,
27(8)1305,
29(1)3,
29(1)15,
29(7)759,
30(1)225,
30(9)863,
30(9)865,
30(11)1045,
30(19)1735
- Logrippo, Luigi,
27(8)1215,
29(4)501,
30(11)1045
- method,
10(3)185,
15(3)177,
15(4)245,
18(13)1845,
20(1)7,
20(1)171,
20(1)189,
20(1)435,
21(2)121,
22(1)7,
25(10)1165,
26(2)195,
26(z)z,
27(9)1349,
28(12)1669,
29(1)3,
29(7)759,
30(1)85,
30(1)215,
30(1)271,
30(9)865,
30(16)1607,
30(16)1697,
30(20)1887
- Montréal,
18(13)1845
- October,
18(13)1845
- panelists,
18(13)1845
- paper,
10(3)211,
11(z)277,
12(2)81,
12(2)89,
12(3)159,
13(2)65,
13(2)75,
13(2)91,
14(3)3,
16(1)64,
16(4)311,
17(3)201,
18(1)31,
18(13)1845,
20(1)15,
20(1)137,
20(1)171,
20(1)369,
20(1)435,
24(3)199,
24(4)311,
25(6)599,
25(9)1019,
25(10)1089,
25(10)1107,
25(10)1119,
25(10)1127,
25(11)1177,
25(11)1205,
26(3)253,
26(3)269,
26(z)z-1,
27(2)135,
27(2)193,
27(2)205,
27(2)273,
27(2)289,
30(19)1735,
30(24)2293
- Rudin, Harry,
18(13)1845,
26(6)601
- status,
16(3)243,
18(13)1845,
25(4)454,
26(6)657,
30(16)1501
- TEchnique,
18(13)1845
- trends,
14(2)339,
15(5)303,
16(1)31,
16(3)243,
18(13)1845,
29(15)1823,
30(9)863,
30(20)1951
- year,
18(13)1845,
23(1)11,
25(6)599,
26(3)269,
29(8)1357,
30(1)716
- Zave, Pamela,
18(13)1845