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{Algayres:1993:VPA,
author = "B. Algayres and V. Coelho and L. Doldi and H. Garavel
and Y. Lejeune",
title = "{VESAR}: a pragmatic approach to formal specification
and verification",
journal = j-COMP-NET-ISDN,
volume = "25",
number = "7",
pages = "779--??",
month = feb,
year = "1993",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Wed Sep 22 18:15:30 MDT 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
}
Related entries
- approach,
11(1)1,
13(4)257,
14(2)365,
15(1)47,
15(1)73,
17(2)77,
18(2)79,
18(2)133,
20(1)171,
20(1)189,
25(4)583,
26(6)721,
26(10)1267,
27(3)345,
27(4)591,
27(6)1009,
27(7)1193,
27(9)1367,
28(4)481,
28(7)1053,
28(7)1255,
28(13)1723,
29(6)631,
29(8)1457,
29(14)1559,
29(16)1869,
30(1)251,
30(8)777,
30(15)1363
- 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)815,
26(2)233,
27(8)1305,
28(13)1845,
29(1)3,
29(1)15,
29(7)759,
30(1)225,
30(9)863,
30(9)865,
30(11)1045,
30(19)1735
- specification,
11(3)183,
11(5)353,
12(3)147,
13(2)65,
13(2)75,
13(2)91,
13(2)97,
13(2)119,
14(1)25,
14(3)3,
16(1)21,
16(4)311,
17(2)111,
18(5)335,
18(z)167,
23(5)363,
24(3)199,
25(1)23,
25(7)815,
26(2)233,
27(8)1247,
29(1)81,
29(4)393,
29(4)397,
29(4)437,
29(4)457,
29(4)473,
30(1)225,
30(11)1045,
30(19)1735
- verification,
25(1)83,
25(9)969,
25(12)1303