RT @IRIF_Paris: 👏Congratulations to Ahmed Bouajjani (IRIF), Javier Esparza, and Oded Maler. 📃Their article "Reachability Analysis of Pushdo…
670 followers
164 followers
RT @IRIF_Paris: 👏Congratulations to Ahmed Bouajjani (IRIF), Javier Esparza, and Oded Maler. 📃Their article "Reachability Analysis of Pushdo…
788 followers
RT @IRIF_Paris: 👏Congratulations to Ahmed Bouajjani (IRIF), Javier Esparza, and Oded Maler. 📃Their article "Reachability Analysis of Pushdo…
692 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