Entry Merceron:1998:VTT from lncs1998b.bib
Last update: Mon Mar 13 02:22:45 MDT 2017
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{Merceron:1998:VTT,
author = "Agathe Merceron and Monika M{\"u}llerburg and G.
Michele Pinna",
title = "Verifying a Time-Triggered Protocol in a
Multi-language Environment",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1516",
pages = "185--??",
year = "1998",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Feb 5 11:53:13 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t1516.htm;
http://www.math.utah.edu/pub/tex/bib/lncs1998b.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/1516/15160185.htm;
http://link.springer-ny.com/link/service/series/0558/papers/1516/15160185.pdf",
acknowledgement = ack-nhfb,
}
Related entries
- environment,
1451(0)746,
1452(0)56,
1452(0)564,
1452(0)608-1,
1454(0)133,
1454(0)384,
1456(0)147,
1469(0)340,
1470(0)659,
1474(0)223,
1475(0)363,
1481(0)116,
1482(0)19,
1482(0)209,
1482(0)258,
1483(0)195,
1486(0)294,
1486(0)294-1,
1487(0)13,
1488(0)448,
1490(0)36,
1496(0)317,
1496(0)317-1,
1497(0)180,
1498(0)149,
1499(0)104,
1502(0)59,
1505(0)159,
1507(0)168,
1508(0)4,
1508(0)130,
1510(0)56,
1511(0)27,
1513(0)499,
1513(0)643,
1513(0)653,
1513(0)741,
1531(0)194,
1541(0)7,
1541(0)366,
1543(0)293,
1547(0)413,
1553(0)27
- language, Multi-,
1469(0)352,
1469(0)352-1
- Multi-language,
1469(0)352,
1469(0)352-1
- Protocol,
1451(0)72,
1460(0)470,
1460(0)584,
1462(0)1,
1462(0)105,
1462(0)408,
1465(0)122,
1466(0)629,
1470(0)570,
1470(0)591,
1470(0)629,
1470(0)993,
1470(0)1062,
1474(0)65,
1477(0)2,
1482(0)238,
1483(0)29,
1483(0)47,
1483(0)207,
1483(0)231,
1485(0)345,
1492(0)293,
1496(0)277,
1498(0)325,
1499(0)119,
1499(0)246,
1499(0)288,
1499(0)378,
1514(0)271,
1514(0)357,
1514(0)372,
1528(0)186,
1533(0)209
- Time-Triggered,
1516(0)243,
1516(0)267
- Triggered, Time-,
1516(0)243,
1516(0)267
- Verifying,
1470(0)126,
1479(0)225,
1516(0)380,
1522(0)387