VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Specifying and verifying external behaviour of fair input/output automata by using the temporal logic of actions
    Kapus, Tatjana
    Vir: Informatica. - ISSN 0868-4952 (Vol. 26, no. 4, 2015, str. 685-704)
    Vrsta gradiva - članek, sestavni del
    Leto - 2015
    Jezik - angleški
    COBISS.SI-ID - 19245846

vir: Informatica. - ISSN 0868-4952 (Vol. 26, no. 4, 2015, str. 685-704)
loading ...
loading ...
loading ...