Paperback Book
Show unavailable items

Releases by Parosh Aziz Abdulla

March 18, 2011 – September 13, 2013

Cover for Parosh Aziz Abdulla · Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Reachability Problems: 7th Inter... (2013)

Parosh Aziz Abdulla

Cover for Parosh Aziz Abdulla · Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc (Paperback Book) (2011)

Tools and Algorithms for the Con... (2011)

Parosh Aziz Abdulla