Institutional Repository

Browsing South African Computer Journal 1997(19) by Subject "Partial order methods"

Browsing South African Computer Journal 1997(19) by Subject "Partial order methods"

Sort by: Order: Results:

  • Schlingloff, B (South African Computer Society (SAICSIT), 1997)
    These tutorial notes contain an introduction to the logical theory and computational aspects of computer aided verification of finite state reactive systems with linear and branching temporal logic model checking. As a ...

Search UnisaIR


Browse

My Account