ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • Specifying and verifying external behaviour of fair input/output automata by using the temporal logic of actions
    Kapus, Tatjana
    Source: Informatica. - ISSN 0868-4952 (Vol. 26, no. 4, 2015, str. 685-704)
    Type of material - article, component part
    Publish date - 2015
    Language - english
    COBISS.SI-ID - 19245846

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