DMCA

Discounting the future in systems theory (2003)

by Luca De Alfaro , Thomas A. Henzinger , Rupak Majumdar
Venue:In Automata, Languages, and Programming, LNCS 2719
Citations:61 - 20 self