Entry Pneuli:1990:DRS from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 2018
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 |
Y |
Z
BibTeX entry
@InProceedings{Pneuli:1990:DRS,
author = "A. Pneuli and R. Rosner",
title = "Distributed reactive systems are hard to synthesize",
crossref = "IEEE:1990:PAS",
volume = "2",
pages = "746--757",
year = "1990",
bibdate = "Thu Apr 5 06:13:50 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- distributed,
0(0)22,
0(0)114,
0(0)240,
0(0)253,
0(0)258,
0(0)334,
0(0)344,
0(0)401,
0(0)470,
0(0)505,
0(0)515,
0(0)638,
0(0)659,
0(0)670
- hard,
0(0)92,
0(0)177,
0(0)284,
0(0)415,
0(0)523,
0(0)538,
0(0)627,
2(0)812
- system,
0(0)112,
0(0)115,
0(0)147,
0(0)202,
0(0)214,
0(0)227,
0(0)284,
0(0)304,
0(0)348,
0(0)372,
0(0)505,
0(0)638,
0(0)664,
0(0)670,
0(0)714,
0(0)724,
1(0)2