Entry Rosa-Velardo:2011:DCP 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{Rosa-Velardo:2011:DCP,
author = "Fernando Rosa-Velardo and David de Frutos-Escrig",
title = "Decidability and complexity of {Petri} nets with
unordered data",
journal = j-THEOR-COMP-SCI,
volume = "412",
number = "34",
pages = "4439--4451",
day = "5",
month = aug,
year = "2011",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Tue Aug 30 18:51:46 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
- data,
411(1)188,
411(3)691,
411(4)702,
411(7)935,
411(7)976,
412(19)1821,
412(22)2451,
412(24)2564,
412(28)3101,
412(32)4161,
412(39)5176,
412(39)5285,
412(42)5854,
413(1)36,
428(1)58,
432(1)38,
447(1)44,
460(1)42,
464(1)113,
489(z)37,
497(z)123,
497(z)139,
501(z)72,
509(z)122,
519(z)155,
530(z)12,
540(z)82,
554(z)254,
558(z)51
- decidability,
411(44)4023,
420(1)56,
550(z)90
- net,
412(4)320,
412(20)1958,
412(20)1979,
429(1)87,
429(1)227,
446(1)48,
448(1)66,
449(1)2,
454(1)189,
467(z)12,
474(z)1,
493(z)66,
537(z)3
- Petri,
412(4)320,
429(1)227,
446(1)48,
448(1)66,
449(1)2,
454(1)189,
467(z)12,
474(z)1,
537(z)3
- Rosa-Velardo, Fernando,
467(z)12
- unordered,
412(4)352,
470(z)10,
522(z)77
- Velardo, Fernando, Rosa-,
467(z)12