Search

Results 1-3 of 3
Publication DateTitleAuthor(s)
1-Jun-2004Mathematics for the exploration of requirementsHuth,M.
25-Oct-2004Consistent partial model checkingHuth,M.; Pradhan,S.
1-Aug-2004A domain equation for refinement of partial systemsHuth, MRA; Jagadeesan, R; Schmidt, DA
  • previous
  • 1
  • next