Parosh Aziz Abdulla
2 published titles
Tools and Algorithms for the Construction and Analysis of Systems : 17th international conference, TACAS 2011, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS
(Contributor)
1 edition
- ISBN: 9783642198342
- Springer
- 2011
- Details
Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings
(Contributor)
1 edition
- ISBN: 9783642410352
- Springer
- 2013
- Details
