Search

Results 1-5 of 5
Publication DateTitleAuthor(s)
31-Dec-2000Linear Types and ApproximationHuth,M.; Jung,A.; Keimel,K.
1-Jun-2004Mathematics for the exploration of requirementsHuth,M.
25-Oct-2004Consistent partial model checkingHuth,M.; Pradhan,S.
2-Jan-2005Abstraction and probabilities for hybrid logicsHuth,M.
1-Aug-2005Refinement is complete for implementationsHuth,M.
  • previous
  • 1
  • next