Quantitative Temporal Logics: PSPACE and Below

From Tetherless World Wiki

Jump to: navigation, search
 Quantitative Temporal Logics: PSPACE and Below
Has publishing details  pp. 138-146, 2005
Has title  Quantitative Temporal Logics: PSPACE and Below
Has where published  TIME
Has year  2005
Has author  Carsten Lutz +, Dirk Walther +, Frank Wolter +
Has identifier  DBLP:conf/time/LutzWW05 +
Categories  Proceeding Paper +

 

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