Entry Goldsack:1997:SRC from lncs1997a.bib
Last update: Wed Feb 5 04:57:35 MST 2014
Top |
Symbols |
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{Goldsack:1997:SRC,
author = "S. Goldsack and K. Lano and E. Durr",
title = "Specification and Refinement of Continuous Real-Time
Systems",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1231",
pages = "310--??",
year = "1997",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Fri Aug 22 11:59:49 MDT 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1997a.bib",
acknowledgement = ack-nhfb,
}
Related entries
- continuous,
1205(0)33,
1230(0)176,
1273(0)329,
1273(0)342,
1273(0)361,
1276(0)166
- Real-Time,
1195(0)58,
1231(0)22,
1231(0)111,
1231(0)156,
1237(0)36,
1274(0)318,
1281(0)562,
1295(0)358,
1296(0)42,
1296(0)448,
1296(0)718
- refinement,
1201(0)316,
1212(0)369,
1231(0)44,
1231(0)199,
1231(0)263,
1231(0)280,
1279(0)105,
1281(0)191,
1281(0)267,
1282(0)355,
1295(0)468,
1297(0)61
- Specification,
1193(0)117,
1200(0)165,
1202(0)101,
1212(0)297,
1214(0)67,
1231(0)169,
1257(0)536,
1275(0)231,
1295(0)219,
1299(0)73
- Time, Real-,
1195(0)58,
1231(0)22,
1231(0)111,
1231(0)156,
1237(0)36,
1274(0)318,
1281(0)562,
1295(0)358,
1296(0)42,
1296(0)448,
1296(0)718