Refining abstractions of hybrid systems using counterexample fragments Conference

Fehnker, A, Clarke, E, Jha, SK et al. (2005). Refining abstractions of hybrid systems using counterexample fragments . Lecture Notes in Computer Science, 3414 242-257.

International Collaboration

cited authors

  • Fehnker, A; Clarke, E; Jha, SK; Krogh, B

authors

date/time interval

  • March 9, 2005 -

publication date

  • January 1, 2005

published in

keywords

  • AUTOMATA
  • Automation & Control Systems
  • Computer Science
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology

International Standard Book Number (ISBN) 10

start page

  • 242

end page

  • 257

volume

  • 3414