Decidability of bisimilarity for one-counter processes

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/58004

Title:	Decidability of bisimilarity for one-counter processes
Author:	Jančar, Petr
Date issue:	2000
Citation:	Information and computation. 2000, vol. 158, issue 1, p. 1-17 .
URI:	http://hdl.handle.net/10084/58004
ISSN:	0890-5401
DOI:	10.1006/inco.1999.2813
URI:	http://dx.doi.org/10.1006/inco.1999.2813
Type:	Article
Počet citací dokumentu:

Files	Size	Format	View
There are no files associated with this item.

Publikační činnost VŠB-TUO / Publications of VŠB-TUO [1643]
Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků VŠB-TUO v časopisech (a v Lecture Notes in Computer Science) registrovaných ve Web of Science od roku 1990 po současnost.