Entry Orzan:2010:IPB 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{Orzan:2010:IPB,
author = "Simona Orzan and Tim A. C. Willemse",
title = "Invariants for {Parameterised Boolean Equation
Systems}",
journal = j-THEOR-COMP-SCI,
volume = "411",
number = "11--13",
pages = "1338--1371",
day = "6",
month = mar,
year = "2010",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Mar 28 17:10:25 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
- boolean,
411(1)266,
411(16)1723,
411(26)2612,
411(31)2864,
412(8)703,
412(8)773,
412(12)1169,
412(26)2816,
412(35)4613,
412(35)4650,
412(39)5132,
425(1)34,
447(1)120,
449(1)23,
457(1)149,
480(z)43,
481(z)24,
487(z)23,
501(z)82,
504(z)12,
505(z)74,
516(z)101,
523(z)86,
559(z)20
- equation,
411(26)2513,
411(47)4102,
412(27)2922,
416(1)1,
416(1)71,
449(1)54,
547(z)117
- invariant,
411(34)3169,
411(43)3877,
412(8)729,
412(43)6036,
422(1)52,
518(z)42
- parameterised,
511(z)85