Deadlocking States in Context-Free Process Algebra
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F98%3A00000699" target="_blank" >RIV/00216224:14330/98:00000699 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Deadlocking States in Context-Free Process Algebra
Popis výsledku v původním jazyce
N/A
Název v anglickém jazyce
Deadlocking States in Context-Free Process Algebra
Popis výsledku anglicky
N/A
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BD - Teorie informace
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F97%2F0456" target="_blank" >GA201/97/0456: Meze algoritmické verifikovatelnosti nekonečně stavových systémů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
1998
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98)
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
10
Strana od-do
—
Název nakladatele
Springer-Verlag
Místo vydání
Heidelberg
Místo konání akce
—
Datum konání akce
—
Typ akce podle státní příslušnosti
—
Kód UT WoS článku
—