OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   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:

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}