DSpace VŠB-TUO
    • čeština
    • English
  • čeština 
    • čeština
    • English
  • Přihlásit se
Zobrazit záznam 
  •   DSpace VŠB-TUO
  • Univerzita VŠB-TUO / VŠB-TUO Comunity
  • Publikační činnost VŠB-TUO / Publications of VŠB-TUO
  • Publikační činnost VŠB-TUO ve Web of Science / Publications of VŠB-TUO in Web of Science
  • Zobrazit záznam
  •   DSpace VŠB-TUO
  • Univerzita VŠB-TUO / VŠB-TUO Comunity
  • Publikační činnost VŠB-TUO / Publications of VŠB-TUO
  • Publikační činnost VŠB-TUO ve Web of Science / Publications of VŠB-TUO in Web of Science
  • Zobrazit záznam
JavaScript is disabled for your browser. Some features of this site may not work without it.

Deciding bisimulation-like equivalences with finite-state processes

Autor
Jančar, Petr
Kučera, Antonín
Mayr, Richard
Datum vydání
1998
Typ dokumentu
article
Lokace
Není ve fondu ÚK
ISSN
0302-9743
1611-3349
Metadata
Zobrazit celý záznam
Citace zdrojového dokumentu
Automata, languages and programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998. Proceedings. 1998, p. 200-211.
Dostupné na
http://dx.doi.org/10.1007/BFb0055035
URI
http://hdl.handle.net/10084/62798
Kolekce
  • Publikační činnost VŠB-TUO ve Web of Science / Publications of VŠB-TUO in Web of Science [3523]
Citace PRO

VŠB-TUO copyright © 2006-2016 
DSpace software copyright © 2002-2016 MIT and HP
Kontaktujte nás | Vyjádření názoru
openair
Theme by  
@mire NV
 

 

Rozšířené hledání

Užitečné odkazy

VŠB-TUOÚstřední knihovna VŠB-TUOBlog E-zdrojeOpen Access WeekPrůvodce Open Access

Procházet

Vše v DSpaceKomunity a kolekceDatum vydáníAutořiNázvyKlíčová slovaTyp dokumentuTato kolekceDatum vydáníAutořiNázvyKlíčová slovaTyp dokumentu

Můj účet

Přihlásit se

VŠB-TUO copyright © 2006-2016 
DSpace software copyright © 2002-2016 MIT and HP
Kontaktujte nás | Vyjádření názoru
openair
Theme by  
@mire NV