Techniques for decidability and undecidability of bisimilarity

DSpace/Manakin Repository

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

Title:	Techniques for decidability and undecidability of bisimilarity
Author:	Jančar, Petr Moller, Faron
Date issue:	1999
Citation:	CONCUR'99 - Concurrency theory : 14th International Conference, Eindhoven, The Netherlands, August 1999. Proceedings. 1999, p. 30-45. Lecture notes in computer science, vol. 1664.
URI:	http://hdl.handle.net/10084/61805
ISSN:	0302-9743 1611-3349
DOI:	10.1007/3-540-48320-9_5
URI:	http://dx.doi.org/10.1007/3-540-48320-9_5
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.