%0 Conference Paper %1 conf/facs2/DuHJMY16 %A Du, Dehui %A Huang, Ping %A Jiang, Kaiqiang %A Mallet, Frédéric %A Yang, Mingrui %B FACS %D 2016 %E Kouchnarenko, Olga %E Khosravi, Ramtin %K dblp %P 111-133 %T MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. %U http://dblp.uni-trier.de/db/conf/facs2/facs2016.html#DuHJMY16 %V 10231 %@ 978-3-319-57666-4

@inproceedings{conf/facs2/DuHJMY16, added-at = {2017-05-19T00:00:00.000+0200}, author = {Du, Dehui and Huang, Ping and Jiang, Kaiqiang and Mallet, Frédéric and Yang, Mingrui}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24b453563830565cf302f7e15f1f76c5b/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2016}, editor = {Kouchnarenko, Olga and Khosravi, Ramtin}, ee = {https://doi.org/10.1007/978-3-319-57666-4_8}, interhash = {972ff6e495a99a21845910da4fb9136e}, intrahash = {4b453563830565cf302f7e15f1f76c5b}, isbn = {978-3-319-57666-4}, keywords = {dblp}, pages = {111-133}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:51:23.000+0200}, title = {MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2016.html#DuHJMY16}, volume = 10231, year = 2016 }