d-IRA: A distributed reachability algorithm for analysis of linear hybrid automata Conference

Jha, Sumit Kumar. (2008). d-IRA: A distributed reachability algorithm for analysis of linear hybrid automata . Lecture Notes in Computer Science, 4981 618-621.

cited authors

  • Jha, Sumit Kumar

authors

date/time interval

  • April 22, 2008 -

publication date

  • January 1, 2008

published in

keywords

  • Computer Science
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology

International Standard Book Number (ISBN) 13

start page

  • 618

end page

  • 621

volume

  • 4981