Quantitative temporal logics over the reals: PSpace and below

From Tetherless World Wiki

Jump to: navigation, search
 Quantitative temporal logics over the reals: PSpace and below
Has publishing details  205(1):99-123, 2007
Has title  Quantitative temporal logics over the reals: PSpace and below
Has where published  Inf. Comput.
Has year  2007
Has author  Carsten Lutz +, Dirk Walther +, Frank Wolter +
Has identifier  DBLP:journals/iandc/LutzWW07 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools