Prikaz rezultata 1 – 1 od 1 za pretragu 'Thang, Nguyen Truong', vrijeme upita: 0,01s Detaljiziraj rezultate
  1. 1

    Specification and verification of inter-component constraints in CTL. od Thang, Nguyen Truong

    Članak

    Specification and verification of inter-component constraints in CTL.

Alati za pretragu: