Equivalence-Checking with Infinite-State Systems: Techniques and Results.
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F02%3A00006714" target="_blank" >RIV/00216224:14330/02:00006714 - isvavai.cz</a>
Alternative codes found
RIV/61989100:27240/02:00006675
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Equivalence-Checking with Infinite-State Systems: Techniques and Results.
Original language description
The paper presents an overview of techniques and results for equivalence-checking with infinite-state systems. The selection of presented techniques reflects the authors' view on recent development in the area; the overview of existing results should beup-to-date (as of August 2002).
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002)
ISBN
3-540-00145-X
ISSN
—
e-ISSN
—
Number of pages
33
Pages from-to
41
Publisher name
Springer
Place of publication
Berlin
Event location
November 22-29, 2002, Milovy, Czech Republic
Event date
Jan 1, 2002
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—