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{Leduc:1992:FBI,
author = "G. Leduc",
title = "A framework based on implementation relations for
implementing {LOTOS} specifications",
journal = j-COMP-NET-ISDN,
volume = "25",
number = "1",
pages = "23--??",
day = "03",
month = aug,
year = "1992",
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
- 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(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(13)1845,
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
- framework,
20(1)189,
22(4)249,
24(1)65,
25(7)761,
26(1)61,
27(1)67,
27(2)215,
28(4)535,
28(7)1139,
28(7)1157,
28(12)1703,
29(5)595,
29(8)917,
29(8)1029,
29(8)1041,
29(8)1083,
30(1)119,
30(1)624,
30(16)1501,
30(16)1531,
30(24)2293
- implementation,
9(4)267,
11(2)133,
11(5)353,
11(z)277,
12(3)147,
14(1)61,
14(2)279,
14(2)283,
14(2)365,
16(1)108,
16(1)116,
16(1)119,
16(1)121,
17(2)89,
17(4)344,
17(4)362,
17(4)367,
18(1)31,
22(1)7,
22(1)51,
25(4)469,
25(7)841,
25(8)921,
25(10)1127,
25(11)1177,
26(3)253,
26(11)1425,
26(12)1523,
27(5)677,
27(9)1367,
29(1)49,
29(3)315,
30(1)757,
30(13)1201,
30(16)1467,
30(16)1617,
30(22)2113,
z(z)183
- implementing,
26(3)263,
28(7)1445
- LOTOS,
13(2)75,
14(1)25,
22(1)51,
23(5)325,
25(7)791,
25(7)815,
25(7)853,
30(9)901,
30(9)925
- relation,
29(1)49,
30(22)2105
- 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(7)779,
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