No. Title Author Year
1 Bisimulation Metrics for Weighted Automata Balle, Borja et al. 2017
2 Expressiveness of Probabilistic Modal Logics, Revisited Fijalkow, NathanaŽl et al. 2017
3 06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality Kopperman, Ralph et al. 2007
4 04351 Abstracts Collection -- Spatial Representation: Discrete vs. Continuous Computational Models Kopperman, Ralph et al. 2005
5 04351 Summary -- Spatial Representation: Discrete vs. Continuous Computational Models Kopperman, Ralph et al. 2005
6 A domain of spacetime intervals in general relativity Martin, Keye et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint Published by LZI