| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Active Prediction for Discrete Event Systems | Haar, Stefan et al. | 2020 |
| 2 | Computing Information Flow Using Symbolic Model-Checking | Chadha, Rohit et al. | 2014 |
| 3 | An Improved Construction of Petri Net Unfoldings | Rodríguez, César et al. | 2013 |
| 4 | Computation of Summaries Using Net Unfoldings | Esparza, Javier et al. | 2013 |
| 5 | Optimal Constructions for Active Diagnosis | Haar, Stefan et al. | 2013 |
| 6 | Comparison of Algorithms for Checking Emptiness on Büchi Automata | Gaiser, Andreas et al. | 2009 |
| 7 | Reachability analysis of multithreaded software with asynchronous communication | Bouajjani, Ahmed et al. | 2006 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 7 |