Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-6 of 6)
Majumdar, Rupak,
1
E-book
2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.


CAV (Conference) (29th : 2017 : Heidelberg, Germany)
Cham, Switzerland : Springer, 2017

Rating:

 
 
2
E-book
2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.


CAV (Conference) (29th : 2017 : Heidelberg, Germany)
Cham : Springer, 2017

Rating:

 
 
3
E-book
2009

Hybrid systems : computation and control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, proceedings


HSCC (Conference) (2009 : San Francisco, Calif.)
Berlin ; Heidelberg : Springer-Verlag, [2009]

Rating:

 
 
4
E-book
2008

Model checking software : 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings


International SPIN Workshop (15th : 2008 : Los Angeles, Calif.)
Berlin ; New York : Springer, 2008

Rating:

 
 
5
E-book
2015

Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings


RV (Conference) (6th : 2015 : Vienna, Austria)
Cham : Springer, 2015

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results