Počet záznamov: 1
Temporal logic of programs
Názov Temporal logic of programs Autor Kotmanová Daniela SAVINFO - Ústav informatiky SAV Zdroj.dok. Kybernetika a informatika. (2002), S. 69-70 : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002 Jazyk dok. eng - angličtina Krajina SK - Slovenská republika Druh dok. rozpis článkov z periodík (rzb) Kategória AED - Vedecké práce v domácich recenzovaných vedeckých zborníkoch (aj konferenčných), monografiách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu príspevok Rok vykazovania 2002 článok
rok vydania rok metriky IF IF Q (best) SJR SJR Q (best) 2002
Počet záznamov: 1