From boolean to quantitative synthesis

Open Webpage

Pavol Cerný, Thomas A. Henzinger

Published: 2011, Last Modified: 27 Apr 2025EMSOFT 2011EveryoneRevisionsBibTeXCC BY-SA 4.0