Decidability questions for equivalences on Petri Nets

Uloženo v:
Podrobná bibliografie
Hlavní autor: Jančar, Petr, 1958- (Autor práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Angličtina
Vydáno: Ostrava, 1995.
Témata:
habilitační práce
Obálka
Popis
Fyzický popis:83 s.

Podobné jednotky