Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-3 of 3
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2-Jan-2005Abstraction and probabilities for hybrid logicsHuth,M.
1-Apr-2005Probabilistic lambda-calculus and quantitative program analysisDi Pierro, A; Hankin, C; Wiklicky, H
1-Aug-2005Refinement is complete for implementationsHuth,M.