Dual-Priced Modal Transition Systems with Time Durations.

Nikola Benes, Jan Kretnsk, Kim Guldstrand Larsen, Mikael H. Mller, Jir Srba

Browse the full LPAR paper archive.