Polytime model checking for timed probabilistic computation tree logic Danièle BeauquierAnatol Slissenko Pages: 645 - 664
On a relation between uniform coding and problems of the form DTIMEF(\(\cal F\)) =? DSPACEF(\(\cal F)\) Salvatore CaporasoMichele Zito Pages: 665 - 672