On the Relationship between Reachability Problems in Timed and Counter Automata

Benzer Materyaller

• On the relationship between reachability problems in timed and counter automata
  Yazar:: Haase, C, ve diğerleri
  Baskı/Yayın Bilgisi: (2012)
• Reachability in Succinct and Parametric One−Counter Automata
  Yazar:: Haase, C, ve diğerleri
  Baskı/Yayın Bilgisi: (2009)
• Reachability in Succinct and Parametric One-Counter Automata
  Yazar:: Haase, C, ve diğerleri
  Baskı/Yayın Bilgisi: (2009)
• On reachability for hybrid automata over bounded time
  Yazar:: Brihaye, T, ve diğerleri
  Baskı/Yayın Bilgisi: (2011)
• Branching−Time Model Checking of Parametric One−Counter Automata
  Yazar:: Göller, S, ve diğerleri
  Baskı/Yayın Bilgisi: (2012)