Konštrukcia Buchiho automatov z formúl logiky LTL

Enregistré dans:
Auteur principal: Plevko, Ján, 1987- (Auteur)
Autres auteurs: Fogel, Jaroslav, 1945- (Directeur de thèse)
Format: Manuscrit Livre
Langue:slovaque
Publié: Bratislava : STU v Bratislave FEI, 2011
Sujets:
Aplikovaná informatika
Applied Infromatics
verifikačné protokoly
Accès en ligne:VAIS
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

MARC

LEADER 00000ntm a22000003a 4500
001 stu230727
005 20150617230136.7
008 110709s2011----xo------------------slo-d
040 |a STU  |b slo 
041 0 |a slo 
044 |a xo 
100 1 |a Plevko, Ján,  |d 1987-  |4 aut  |u E  |T FEI Fakulta elektrotechniky a informatiky  |X 35236  |U E  |Y 30  |7 35236 
242 0 0 |a Constructing Buchi automata from LTL formulae  |y eng 
245 1 |a Konštrukcia Buchiho automatov z formúl logiky LTL 
260 |a Bratislava :  |b STU v Bratislave FEI,  |c 2011 
300 |a 61 s 
650 7 |a Aplikovaná informatika  |2 stusub 
650 7 |a Applied Infromatics  |2 estusub 
650 7 |a verifikačné protokoly  |2 stusub 
700 1 |a Fogel, Jaroslav,  |d 1945-  |4 ths  |u E200  |U FEI Fakulta elektrotechniky a informatiky  |T FEI Katedra aplikovanej informatiky a výpočtovej techniky  |X 2195  |U E200  |Y 67  |7 A000002195 
856 4 |a info a plný text  |u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71860  |3 VAIS 
996 |b 284EP09920  |c E*DIPL-9920  |l EE35  |s P  |a 0  |w stu230727_0001 

Documents similaires