Entry Roychoudhury:2003:FRA from lncs2003a.bib
Last update: Sun Oct 15 02:36:35 MDT 2017
Top |
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{Roychoudhury:2003:FRA,
author = "Abhik Roychoudhury",
title = "Formal Reasoning about Hardware and Software Memory
Models",
journal = j-LECT-NOTES-COMP-SCI,
volume = "2495",
pages = "423--??",
year = "2003",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Sat Nov 30 20:57:09 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
URL = "http://link.springer.de/link/service/series/0558/bibs/2495/24950423.htm;
http://link.springer.de/link/service/series/0558/papers/2495/24950423.pdf",
acknowledgement = ack-nhfb,
}
Related entries
- Formal,
2495(0)3,
2495(0)22,
2495(0)57,
2495(0)180,
2495(0)221,
2495(0)249,
2495(0)275,
2495(0)347,
2495(0)359,
2495(0)447,
2495(0)483,
2495(0)548,
2656(0)614,
2729(0)530
- Hardware,
2495(0)459,
2612(0)176,
2729(0)463,
2779(0)51,
2779(0)181,
2779(0)304,
2779(0)334
- Memory,
2612(0)328,
2729(0)162
- model,
2495(0)57,
2495(0)80,
2495(0)204,
2495(0)435,
2495(0)523,
2495(0)535,
2495(0)573,
2495(0)583,
2495(0)613,
2656(0)123,
2729(0)61,
2729(0)316,
2779(0)17
- Software,
2495(0)1,
2495(0)3,
2495(0)57,
2495(0)69,
2495(0)168,
2495(0)249,
2495(0)406