Search Results - Inggs, Cornelia Petronella

  • Showing 1 - 1 results of 1
Refine Results
  1. An LTL verification system based on automata theory by Inggs, Cornelia Petronella, Van Wyk, Cornelia

    Published 2012
    Get full text
    Thesis