Available identifiers
zbMath Open majumdar.rupak.6MaRDI QIDQ6771277
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Analysis of Asynchronous Programs with Event-Based Synchronization | 2016-04-26 | Paper |
| An SMT-Based Approach to Coverability Analysis | 2014-09-29 | Paper |
| Expand, Enlarge, and Check for Branching Vector Addition Systems | 2013-08-12 | Paper |
| Bounded underapproximations | 2012-09-27 | Paper |
Research outcomes over time
This page was built for person: Rupak Majumdar
