Entry Tomita:1994:ASH from lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
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{Tomita:1994:ASH,
author = "Kohji Tomita and Takashi Tsuji and Shigeru Igarashi",
title = "Analysis of a Software\slash Hardware System by Tense
Arithmetic",
journal = j-LECT-NOTES-COMP-SCI,
volume = "792",
pages = "188--??",
year = "1994",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Mon May 13 11:52:14 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1994.bib",
acknowledgement = ack-nhfb,
}
Related entries
- arithmetic,
793(0)67,
814(0)311,
839(0)282,
844(0)324,
849(0)78,
849(0)196,
854(0)313,
880(0)438
- hardware,
772(0)240,
774(0)285,
780(0)73,
780(0)87,
780(0)99,
780(0)386,
780(0)400,
782(0)49,
815(0)568,
818(0)182,
818(0)247,
818(0)260,
818(0)286,
849(0)208,
849(0)283,
852(0)309,
852(0)327,
863(0)336,
866(0)524
- Igarashi, Shigeru,
792(0)173
- Tense,
827(0)238,
835(0)45
- Tsuji, Takashi,
792(0)173