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{Brinksma:1998:POM,
author = "Ed Brinksma and Joost-Pieter Katoen and Rom Langerak
and Diego Latella",
title = "Partial order models for quantitative extensions of
{LOTOS}",
journal = j-COMP-NET-ISDN,
volume = "30",
number = "9--10",
pages = "925--950",
day = "27",
month = may,
year = "1998",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Fri Sep 24 20:22:09 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/cna/cas_free/browse/browse.cgi?year=1998&volume=30&issue=9-10;
http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
URL = "http://www.elsevier.com/cas/tree/store/comnet/sub/1998/30/9-10/1808.pdf",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
}
Related entries
- Brinksma, Ed,
14(1)25
- extension,
13(2)97,
21(3)149,
25(3)305,
26(6)711,
27(2)135,
27(6)1009,
28(7)1095,
28(7)1291,
30(1)225
- Katoen, Joost-Pieter,
27(8)1263
- LOTOS,
13(2)75,
14(1)25,
22(1)51,
23(5)325,
25(1)23,
25(7)791,
25(7)815,
25(7)853,
30(9)901
- model,
9(3)175,
10(3)135,
10(3)157,
10(3)185,
10(3)195,
10(3)221,
11(2)111,
11(z)277,
13(4)269,
14(2)231,
16(1)31,
16(4)299,
18(z)243,
20(1)7,
20(1)171,
20(1)189,
22(3)193,
24(1)33,
24(1)81,
25(4)454,
25(10)1107,
25(10)1155,
25(10)1165,
25(11)1177,
25(12)1279,
26(4)391,
26(5)493,
27(5)653,
27(6)751,
27(6)831,
27(6)1055,
27(7)1193,
27(8)1211,
27(8)1215,
27(8)1247,
27(8)1263,
27(8)1287,
27(8)1305,
28(5)689,
28(7)1095,
28(7)1105,
28(7)1445,
29(3)373,
29(4)501,
29(6)617,
29(7)745,
29(14)1675,
29(14)1727,
30(14)1327
- order,
13(3)247,
20(1)425,
28(7)1445,
28(14)1891,
30(1)225,
30(1)359
- quantitative,
27(10)1447,
30(24)2309