Popis: Deciding regular properties in simple process algebras

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Kučera, Antonín, 1971- (Autor práce)
Typ dokumentu:	VŠ práce nebo rukopis
Jazyk:	Angličtina
Vydáno:	Brno, 1999
Témata:	výpočetní technika computer science habilitační práce habilitation thesis

Popis
Fyzický popis:	x, 136 s.