Login / Signup
On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems.
Mohamed Faouzi Atig
Ahmed Bouajjani
Published in:
RP (2009)
Keyphrases
</>
dynamic networks
database systems
state space