Počet záznamov: 1  

Temporal logic of programs

  1. NázovTemporal 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
    KrajinaSK - Slovenská republika
    Druh dok.rozpis článkov z periodík (rzb)
    KategóriaAED - 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ýstupupríspevok
    Rok vykazovania2002
    článok

    článok

    rok vydaniarok metrikyIFIF Q (best)SJRSJR Q (best)
    2002
Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.

Prijať všetkoNastavenieOdmietnuť všetko