Battery transition systems

Open Webpage

Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna

Published: 2014, Last Modified: 27 Apr 2025POPL 2014EveryoneRevisionsBibTeXCC BY-SA 4.0