Entry Rinderknecht:2003:AVA from compj2000.bib
Last update: Sun Mar 31 02:13:37 MDT 2019
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{Rinderknecht:2003:AVA,
author = "Christian Rinderknecht",
title = "An Algorithm for Validating {ASN.1 (X.680)}
Specifications using Set Constraints",
journal = j-COMP-J,
volume = "46",
number = "4",
pages = "401--420",
month = jul,
year = "2003",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/46.4.401",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Sun Jun 29 07:07:13 MDT 2003",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compj2000.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_46/Issue_04/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_46/Issue_04/460401.sgm.abs.html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_46/Issue_04/pdf/460401.pdf",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- algorithm,
0(0)xii--274,
0(0)xii--304,
0(0)xvii--325,
0(0)x--295,
43(1)81,
43(2)152,
43(4)315,
43(6)482,
44(2)101,
44(3)214,
44(4)292,
44(4)303,
45(1)88,
45(2)174,
45(2)237,
45(3)304,
45(4)423,
45(5)525,
45(5)561,
46(4)391,
46(4)427,
46(5)498,
46(6)645,
46(6)680,
47(5)602,
47(6)694,
47(6)701,
48(2)220,
48(3)300,
48(4)443,
48(6)650,
48(6)737,
48(6)749,
49(1)42,
49(1)108,
49(2)201,
49(2)249,
49(2)252,
49(3)351,
49(3)358,
49(4)418,
49(5)629,
49(6)762,
50(3)332,
50(3)348,
50(4)435,
50(4)473,
50(6)728,
51(1)7,
51(1)26,
51(1)60,
51(1)79,
51(1)122,
51(1)137,
51(3)303,
51(4)451,
51(4)470,
51(6)688,
52(1)90,
52(2)268,
52(6)656,
52(6)690,
1008(0)363
- constraint,
47(4)399,
48(3)259,
49(3)281,
50(2)178,
51(2)216,
51(3)303
- set,
0(0)xv--387,
47(2)245,
49(1)82
- specification,
35(0)335,
44(3)186,
45(1)111,
45(2)202,
47(3)358,
50(1)129,
51(4)435
- using,
43(2)130,
44(4)230,
44(4)246,
45(1)72,
45(1)88,
45(4)381,
45(4)410,
45(4)423,
45(6)631,
45(6)645,
46(1)100,
46(4)427,
46(5)498,
47(1)71,
47(3)373,
48(1)84,
48(2)200,
48(2)220,
48(3)333,
48(3)369,
49(2)137,
49(2)180,
49(2)234,
49(4)400,
49(6)634,
49(6)710,
50(5)535,
50(6)674,
51(2)227,
51(4)435,
51(4)470,
52(1)31,
52(1)64,
52(2)171,
52(5)557,
52(6)724
- Validating,
45(1)19