Simulation and bisimulation over one-counter processes

DSpace/Manakin Repository

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

Title:	Simulation and bisimulation over one-counter processes
Author:	Jančar, Petr Kučera, Antonín Moller, Faron
Date issue:	2000
Citation:	STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000. Proceedings. 2000, p. 334-335. Lecture notes in computer science, vol. 1770.
URI:	http://hdl.handle.net/10084/58036
ISSN:	0302-9743
URI:	http://www.springerlink.com/content/bm9khuu8v223pv4h/
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 [1641]
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.