%0 Journal Article %1 journals/corr/abs-1206-4504 %A Chilton, Chris %A Kwiatkowska, Marta Z. %A Wang, Xu %D 2012 %J CoRR %K dblp %T Revisiting Timed Specification Theories: A Linear-Time Perspective %U http://dblp.uni-trier.de/db/journals/corr/corr1206.html#abs-1206-4504 %V abs/1206.4504

@article{journals/corr/abs-1206-4504, added-at = {2018-08-13T00:00:00.000+0200}, author = {Chilton, Chris and Kwiatkowska, Marta Z. and Wang, Xu}, biburl = {https://www.bibsonomy.org/bibtex/2762d9f20037fddc1576b945d54ae685b/dblp}, ee = {http://arxiv.org/abs/1206.4504}, interhash = {0e1d4b946f5b5b5e5c7d1ff70c790cb1}, intrahash = {762d9f20037fddc1576b945d54ae685b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:27:58.000+0200}, title = {Revisiting Timed Specification Theories: A Linear-Time Perspective}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1206.html#abs-1206-4504}, volume = {abs/1206.4504}, year = 2012 }