Toon 1 - 1 resultaten van 1 Voor zoekopdracht 'Thang, Nguyen Truong', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Specification and verification of inter-component constraints in CTL.

Zoekinstrumenten: