Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
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 .
EURO-PAR 2011 PARALLEL PROCESSING, PT 1,
4981 618-621.
Share this citation
Twitter
Email
Jha, Sumit Kumar. (2008). d-IRA: A distributed reachability algorithm for analysis of linear hybrid automata .
EURO-PAR 2011 PARALLEL PROCESSING, PT 1,
4981 618-621.
Copy Citation
Share
Overview
Research
Location
Identifiers
Additional Document Info
View All
Overview
cited authors
Jha, Sumit Kumar
authors
Jha, Sumit Kumar
date/time interval
April 22, 2008 -
publication date
January 1, 2008
published in
DISTRIBUTED COMPUTING (DISC 2014)
Book
Research
keywords
Computer Science
Computer Science, Theory & Methods
Science & Technology
Technology
Location
Location
MO, St Louis
Identifiers
International Standard Book Number (ISBN) 13
978-3-540-78928-4
Additional Document Info
Conference
11th International Conference on Hybrid Systems - Computation and Control
publisher
SPRINGER-VERLAG BERLIN
start page
618
end page
621
volume
4981