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{Xu:2004:MCF,
author = "Ying Xu",
title = "Model Checking for a First-Order Temporal Logic Using
{Multiway Decision Graphs} {(MDGs)}",
journal = j-COMP-J,
volume = "47",
number = "1",
pages = "71--??",
month = jan,
year = "2004",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/47.1.71",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Thu Feb 26 06:22:27 2004",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compj2000.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_47/Issue_01/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_47/Issue_01/470071.sgm.abs.html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_47/Issue_01/pdf/470071.pdf",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- Checking,
43(1)13,
44(2)109,
47(3)309,
50(4)403
- graph,
43(1)1,
44(3)186,
44(5)425,
44(6)486,
45(1)88,
45(6)631,
47(1)85,
47(2)193,
50(3)357,
51(3)255
- logic,
0(0)xi--420,
0(0)xv--368,
43(1)1,
43(4)274,
44(1)54,
44(2)137,
44(5)410,
45(1)55,
45(4)453,
47(4)399,
47(4)505,
50(4)403
- model,
0(0)xi--170,
0(0)xxiii--499,
0(0)x--210,
44(2)109,
44(5)410,
45(3)260,
45(3)278,
45(6)608,
46(1)84,
47(1)4,
47(1)58,
47(1)85,
47(6)728,
49(1)82,
49(1)97,
49(1)113,
49(6)650,
49(6)657,
49(6)685,
50(2)232,
50(4)403,
50(5)591,
51(4)419,
51(6)745
- Temporal,
43(6)491,
44(5)398,
45(4)453,
48(1)30,
50(4)403
- 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)401,
46(4)427,
46(5)498,
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