Entry Mateescu:2011:CEC from tcs2010.bib
Last update: Sun Mar 31 03:12:29 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{Mateescu:2011:CEC,
author = "Radu Mateescu and Pedro T. Monteiro and Estelle Dumas
and Hidde de Jong",
title = "{CTRL}: {Extension} of {CTL} with regular expressions
and fairness operators to verify genetic regulatory
networks",
journal = j-THEOR-COMP-SCI,
volume = "412",
number = "26",
pages = "2854--2883",
day = "10",
month = jun,
year = "2011",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat May 14 09:05:20 MDT 2011",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- CTL,
549(z)127
- expression,
411(31)2987,
411(38)3423,
412(29)3795,
412(41)5802,
474(z)21,
492(z)88
- extension,
411(3)677,
412(25)2714,
412(27)2942,
412(28)3242,
412(31)3975,
419(1)26,
421(1)25,
457(1)27,
467(z)12,
511(z)13,
540(z)169,
548(z)14,
556(z)45,
560(z)307
- fairness,
412(17)1546
- genetic,
411(25)2368,
425(1)34,
429(1)213,
456(1)18,
545(z)1,
545(z)2,
545(z)94
- operator,
411(7)1212,
411(21)2127,
411(38)3423,
412(11)971,
412(27)2974,
412(28)3378,
412(29)3795,
422(1)52,
471(z)12,
536(z)62,
546(z)237
- regular,
411(6)865,
411(31)2987,
411(38)3481,
411(48)4149,
412(4)458,
412(8)654,
412(35)4579,
412(41)5802,
418(1)48,
429(1)98,
429(1)273,
449(1)37,
449(1)54,
449(1)85,
449(1)93,
454(1)164,
460(1)26,
461(1)2,
474(z)21,
485(z)85,
487(z)37,
492(z)88,
494(z)63,
499(z)38,
502(z)165,
509(z)86,
510(z)87,
512(z)84,
518(z)80,
550(z)21,
558(z)18
- regulatory,
412(21)2207,
431(1)219