Browse
FAQ

Author

Parosh Aziz Abdulla

4 books found

Cover of Networked Systems

Networked Systems

Parosh Aziz Abdulla, Carole Delporte-Gallet · First published 2016

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Parosh Aziz Abdulla · First published 2011

Cover of Reachability Problems

Reachability Problems

Parosh Aziz Abdulla, Igor Potapov · First published 2010

Placeholder cover for Decision problems in systolic circuit verification

Decision problems in systolic circuit verification

Parosh Aziz Abdulla · First published 1990