| | Temporal Logics over Transitive States |
Has publishing details
pp. 182-203, 2005
Has title
Temporal Logics over Transitive States
Has where published
CADE
Has year
2005
Has author
Boris Konev +, Frank Wolter +, Michael Zakharyaschev +
Has identifier
DBLP:conf/cade/KonevWZ05 +
Categories Proceeding Paper +
|
