1
Hybrid Systems Biology [E-Book] : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers /
Other Personal Name(s): “...Maler, Oded....”

Full text 
Favorites
Saved in:
2
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Other Personal Name(s): “...Maler, Oded...”

Full text 
Favorites
Saved in:
3
Hybrid Systems: Computation and Control [E-Book] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings /
Other Personal Name(s): “...Maler, Oded....”

Full text 
Favorites
Saved in:
4
Hybrid and Real-Time Systems [E-Book] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /
Other Personal Name(s): “...Maler, Oded...”

Full text 
Favorites
Saved in:
5
On syntactic congruences for omega languages.
Book
Other Personal Name(s): “...Maler, Oded....”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results