%0 Journal Article %1 journals/corr/abs-2012-12716 %A Wang, Fujun %A Cao, Zining %A Tan, Lixing %A Li, Zhen %D 2020 %J CoRR %K dblp %T Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach. %U http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-12716 %V abs/2012.12716

@article{journals/corr/abs-2012-12716, added-at = {2021-01-05T00:00:00.000+0100}, author = {Wang, Fujun and Cao, Zining and Tan, Lixing and Li, Zhen}, biburl = {https://www.bibsonomy.org/bibtex/246ee1e930c2d1acc75572f4e1723500e/dblp}, ee = {https://arxiv.org/abs/2012.12716}, interhash = {1dd9b5dde5579cb7b4fe4cf5b8dc27aa}, intrahash = {46ee1e930c2d1acc75572f4e1723500e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:03:09.000+0200}, title = {Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-12716}, volume = {abs/2012.12716}, year = 2020 }