%0 Conference Paper %1 conf/mmb/HeC0Z16 %A He, Kangli %A Chen, Yixiang %A Zhang, Min %A Zhang, Yuanrui %B MMB/DFT %D 2016 %E Remke, Anne %E Haverkort, Boudewijn R. %I Springer %K dblp %P 77-91 %T PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/mmb/mmb2016.html#HeC0Z16 %V 9629 %@ 978-3-319-31558-4

@inproceedings{conf/mmb/HeC0Z16, added-at = {2017-05-24T00:00:00.000+0200}, author = {He, Kangli and Chen, Yixiang and Zhang, Min and Zhang, Yuanrui}, biburl = {https://www.bibsonomy.org/bibtex/257373510d265ca58aa9491c989a45b4b/dblp}, booktitle = {MMB/DFT}, crossref = {conf/mmb/2016}, editor = {Remke, Anne and Haverkort, Boudewijn R.}, ee = {https://doi.org/10.1007/978-3-319-31559-1_8}, interhash = {eb4c5927a66b7bf61015dafc004be933}, intrahash = {57373510d265ca58aa9491c989a45b4b}, isbn = {978-3-319-31558-4}, keywords = {dblp}, pages = {77-91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:24:26.000+0200}, title = {PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/mmb/mmb2016.html#HeC0Z16}, volume = 9629, year = 2016 }