%0 Journal Article %1 journals/rts/PaolieriSV17 %A Paolieri, Marco %A Sankaranarayanan, Sriram %A Vicario, Enrico %D 2017 %J Real Time Syst. %K dblp %N 3 %P 289-290 %T Guest Editorial: Special issue on formal modeling and analysis of timed systems. %U http://dblp.uni-trier.de/db/journals/rts/rts53.html#PaolieriSV17 %V 53

@article{journals/rts/PaolieriSV17, added-at = {2020-09-10T00:00:00.000+0200}, author = {Paolieri, Marco and Sankaranarayanan, Sriram and Vicario, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/2863e9a4897b861faf738496d18a00f21/dblp}, ee = {https://doi.org/10.1007/s11241-017-9274-7}, interhash = {7d8d5b64a7262d59ad8032c55a7f97d0}, intrahash = {863e9a4897b861faf738496d18a00f21}, journal = {Real Time Syst.}, keywords = {dblp}, number = 3, pages = {289-290}, timestamp = {2020-09-11T11:43:19.000+0200}, title = {Guest Editorial: Special issue on formal modeling and analysis of timed systems.}, url = {http://dblp.uni-trier.de/db/journals/rts/rts53.html#PaolieriSV17}, volume = 53, year = 2017 }