RT @IRIF_Paris: 👏Congratulations to Ahmed Bouajjani (IRIF), Javier Esparza, and Oded Maler. 📃Their article "Reachability Analysis of Pushdo…
670 followers
203 followers
RT @IRIF_Paris: 👏Congratulations to Ahmed Bouajjani (IRIF), Javier Esparza, and Oded Maler. 📃Their article "Reachability Analysis of Pushdo…
766 followers
RT @IRIF_Paris: 👏Congratulations to Ahmed Bouajjani (IRIF), Javier Esparza, and Oded Maler. 📃Their article "Reachability Analysis of Pushdo…
730 followers
👏Congratulations to Ahmed Bouajjani (IRIF), Javier Esparza, and Oded Maler. 📃Their article "Reachability Analysis of Pushdown Automata: Application to Model-checking" has received the 🏆Concur Test-of-Time Award for the period 1996-1999. Full article ➡ htt