Login / Signup
On the State Reachability Problem for Concurrent Programs Under Power.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Ahmed Bouajjani
Egor Derevenetc
Carl Leonardsson
Roland Meyer
Published in:
NETYS (2020)
Keyphrases
</>
concurrent programs
state space
power consumption
computer systems