Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-4 of 4
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
1-Feb-2007Some current issues in model checkingHuth M
5-May-2006Efficient Patterns for Model Checking Partial State Spaces in CTL & LTLAntonik A; Huth M
12-May-2006Automata games for multiple-model checkingHussain A; Huth M
31-Aug-2006Topological analysis of refinementHuth M


Publication Type
Date Published