Roadmap of Infinite Results

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Current Trends in Theoretical Computer Science, The Challenge of the New Century
Vol/bind	2
Udgave nummer	1
Sider (fra-til)	337-350
Status	Udgivet - 2004

Adgang til dokumentet

@article{67e676c0c7d511db86ee000ea68e967b,

title = "Roadmap of Infinite Results",

keywords = "infinite-state systems, equivalence checking, survey",

author = "Jiri Srba",

year = "2004",

language = "English",

volume = "2",

pages = "337--350",

journal = "Current Trends in Theoretical Computer Science, The Challenge of the New Century",

number = "1",

}

TY - JOUR

T1 - Roadmap of Infinite Results

AU - Srba, Jiri

PY - 2004

Y1 - 2004

KW - infinite-state systems

KW - equivalence checking

KW - survey

M3 - Journal article

VL - 2

SP - 337

EP - 350

JO - Current Trends in Theoretical Computer Science, The Challenge of the New Century

JF - Current Trends in Theoretical Computer Science, The Challenge of the New Century

IS - 1

ER -