Entry Lano:2000:SDR from lncs2000.bib
Last update: Thu May 16 02:07:42 MDT 2019
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{Lano:2000:SDR,
author = "K. Lano and K. Androutsopoulos and D. Clark",
title = "Structuring and Design of Reactive Systems Using
{RSDS} and {B}",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1783",
pages = "97--??",
year = "2000",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Fri Feb 1 09:16:14 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t1783.htm;
http://www.math.utah.edu/pub/tex/bib/lncs2000.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/1783/17830097.htm;
http://link.springer-ny.com/link/service/series/0558/papers/1783/17830097.pdf",
acknowledgement = ack-nhfb,
}
Related entries
- B,
1731(0)410,
1878(0)22,
1878(0)95,
1878(0)127,
1878(0)188,
1878(0)230,
1878(0)324
- Design,
1731(0)232,
1752(0)427,
1755(0)358,
1777(0)254,
1783(0)222,
1792(0)226,
1792(0)321,
1799(0)79,
1800(0)350,
1800(0)738,
1800(0)808,
1806(0)83,
1807(0)557,
1825(0)1,
1825(0)445,
1832(0)191,
1835(0)346,
1839(0)31,
1839(0)314,
1839(0)393,
1839(0)651,
1839(0)659,
1839(0)668,
1850(0)44,
1850(0)277,
1861(0)1094,
1864(0)45,
1877(0)29,
1892(0)202,
1902(0)259,
1903(0)46,
1905(0)227,
1909(0)324,
1909(0)384,
1912(0)361,
1919(0)21,
1923(0)249,
1923(0)305,
1932(0)283,
1937(0)156,
1937(0)172,
1937(0)288,
1937(0)435,
1937(0)449,
1940(0)252,
1954(0)455,
1974(0)312,
1975(0)149,
1983(0)361
- Reactive,
1753(0)16,
1755(0)235,
1755(0)493,
1792(0)49,
1816(0)26,
1877(0)92,
1877(0)243,
1908(0)338
- Structuring,
1755(0)297,
1878(0)107