Další formáty:
BibTeX
LaTeX
RIS
@article{199132, author = {Kučera, Antonín}, article_number = {1}, keywords = {concurrency; infinite-state systems; behavioural equivalences; regularity}, language = {eng}, issn = {0020-0190}, journal = {Information Processing Letters}, title = {On Finite Representations of Infinite-State Behaviours.}, volume = {70}, year = {1999} }
TY - JOUR ID - 199132 AU - Kučera, Antonín PY - 1999 TI - On Finite Representations of Infinite-State Behaviours. JF - Information Processing Letters VL - 70 IS - 1 SP - 23 EP - 23 PB - Elsevier SN - 00200190 KW - concurrency KW - infinite-state systems KW - behavioural equivalences KW - regularity ER -
KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. \textit{Information Processing Letters}. Elsevier, 1999, roč.~70, č.~1, s.~23-30. ISSN~0020-0190.
|