Number of the records: 1
Temporal logic of programs
Title Temporal logic of programs Author Kotmanová Daniela SAVINFO - Ústav informatiky SAV Source document Kybernetika a informatika. (2002), S. 69-70 : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002 Language eng - English Country SK - Slovak Republic Document kind rozpis článkov z periodík (rzb) Category AED - Scientific papers in domestic peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2002 article
rok vydania rok metriky IF IF Q (best) SJR SJR Q (best) 2002
Number of the records: 1