title = {Expressiveness of Metric modalities for continuous time.},
author = {Yoram Hirshfeld and Alexander Rabinovich}, journal = {Logical Methods in Computer Science}, number = {1}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs3.html#HirshfeldR07}, volume = {3}, year = {2007}, description = {dblp}, ee = {http://dx.doi.org/10.2168/LMCS-3(1:3)2007}, date = {2008-04-07},
keywords = {dblp }
::