OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
Error:
Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu
*
:
stať ve sborníku (D)
Domácí pracoviště
*
:
Katedra informatiky a počítačů (31400)
Název
*
:
Deciding finiteness of Petri nets up to bisimulation
Citace :
Jančar, P. a Esparza, J. Deciding finiteness of Petri nets up to bisimulation.
In:
Sborník z konference .
Berlin: Springer Verlag, 1996. Springer Verlag, 1996. s. 25-27. ISBN 35-4061-440-0.
Podnázev :
Rok
*
:
1996
Obor
*
:
Obecná matematika
Počet stran
*
:
Strana od
*
:
25
Strana do
*
:
27
Forma vydání
*
:
Kód ISBN
*
:
35-4061-440-0
Kód ISSN :
Název sborníku
*
:
Sborník z konference
Sborník :
Název nakladatele
*
:
Springer Verlag
Místo vydání
*
:
Berlin
Stát vydání :
Název konference :
Místo konání konference
*
:
Datum zahájení konference
*
:
Typ akce podle státní
příslušnosti účastníků akce
*
:
Kód UT WoS :
EID :
Klíčová slova anglicky
*
:
Popis v původním jazyce
*
:
Popis v anglickém jazyce
*
:
Typ zdroje financování výsledku
*
:
Seznam projektů :
ID Projektu
Název projektu
Seznam ohlasů :
Ohlas
R01:
Complementary Content
${title}
${badge}
${loading}
Probíhá načítání, čekejte prosím...