Entry Elvang-Goransson:1994:EVR 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{Elvang-Goransson:1994:EVR,
author = "M. {Elvang-Goransson} and R. E. Fields",
title = "An Extended {VDM} Refinement Relation",
journal = j-LECT-NOTES-COMP-SCI,
volume = "873",
pages = "175--??",
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
- extended,
767(0)1,
814(0)514,
815(0)159,
815(0)396,
819(0)42,
822(0)245,
823(0)352,
823(0)390,
826(0)23,
834(0)478,
834(0)575,
856(0)2,
856(0)531,
871(0)69
- refinement,
772(0)40,
775(0)439,
782(0)35,
784(0)307,
789(0)385,
800(0)341,
802(0)177,
802(0)230,
803(0)273,
806(0)108,
827(0)48,
827(0)365,
836(0)367,
838(0)217,
863(0)247,
863(0)418,
867(0)262,
869(0)315,
873(0)154,
873(0)401,
873(0)532,
873(0)547
- relation,
765(0)1,
779(0)31,
780(0)127,
784(0)183,
784(0)419,
787(0)202,
789(0)366,
802(0)359,
810(0)13,
811(0)80,
817(0)623,
818(0)299,
820(0)59,
821(0)81,
822(0)31,
838(0)332,
841(0)27,
844(0)463,
856(0)72,
856(0)173,
861(0)39,
869(0)376,
869(0)561,
872(0)547
- VDM,
873(0)190,
873(0)214