Další formáty:
BibTeX
LaTeX
RIS
@article{634964,
author = {Kučera, Antonín and Jančar, Petr},
article_location = {Cambridge},
article_number = {3},
keywords = {formal verification; infinite-state systems; equivalence-checking},
language = {eng},
issn = {1471-0684},
journal = {Theory and practice of logic programming},
title = {Equivalence-Checking on Infinite-State Systems: Techniques and Results},
volume = {6},
year = {2006}
}
TY - JOUR
ID - 634964
AU - Kučera, Antonín - Jančar, Petr
PY - 2006
TI - Equivalence-Checking on Infinite-State Systems: Techniques and Results
JF - Theory and practice of logic programming
VL - 6
IS - 3
SP - 227-264
EP - 227-264
PB - Cambridge University Press
SN - 14710684
KW - formal verification
KW - infinite-state systems
KW - equivalence-checking
N2 - The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004).
ER -
KUČERA, Antonín a Petr JANČAR. Equivalence-Checking on Infinite-State Systems: Techniques and Results. \textit{Theory and practice of logic programming}. Cambridge: Cambridge University Press, 2006, roč.~6, č.~3, s.~227-264. ISSN~1471-0684.
|
