The verification of conversion algorithms between finite automata

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

4 Scopus citations

Original language	English
Article number	028101
Journal	Science China Information Sciences
Volume	61
Issue number	2
DOIs	https://doi.org/10.1007/s11432-017-9155-x
State	Published - 1 Feb 2018

Access to Document

@article{281118ce49084f07ab5ff8c087ef2c6b,

title = "The verification of conversion algorithms between finite automata",

author = "Dongchen Jiang and Wei Li",

year = "2018",

month = feb,

day = "1",

doi = "10.1007/s11432-017-9155-x",

language = "英语",

volume = "61",

journal = "Science China Information Sciences",

issn = "1674-733X",

publisher = "Science China Press ",

number = "2",

}

TY - JOUR

T1 - The verification of conversion algorithms between finite automata

AU - Jiang, Dongchen

AU - Li, Wei

PY - 2018/2/1

Y1 - 2018/2/1

UR - https://www.scopus.com/pages/publications/85037351652

U2 - 10.1007/s11432-017-9155-x

DO - 10.1007/s11432-017-9155-x

M3 - 文章

AN - SCOPUS:85037351652

SN - 1674-733X

VL - 61

JO - Science China Information Sciences

JF - Science China Information Sciences

IS - 2

M1 - 028101

ER -