%0 Journal Article %1 journals/tcps/LiuJZ18 %A Liu, Guanjun %A Jiang, Changjun %A Zhou, Mengchu %D 2018 %J ACM Trans. Cyber Phys. Syst. %K dblp %N 2 %P 11:1-11:27 %T Time-Soundness of Time Petri Nets Modelling Time-Critical Systems. %U http://dblp.uni-trier.de/db/journals/tcps/tcps2.html#LiuJZ18 %V 2

@article{journals/tcps/LiuJZ18, added-at = {2022-01-08T00:00:00.000+0100}, author = {Liu, Guanjun and Jiang, Changjun and Zhou, Mengchu}, biburl = {https://www.bibsonomy.org/bibtex/249dd73e920a26b36d263c0ed67def00b/dblp}, ee = {https://doi.org/10.1145/3185502}, interhash = {5fc1f11f7f237453a7be36a35abfd2a5}, intrahash = {49dd73e920a26b36d263c0ed67def00b}, journal = {ACM Trans. Cyber Phys. Syst.}, keywords = {dblp}, number = 2, pages = {11:1-11:27}, timestamp = {2024-04-09T00:52:57.000+0200}, title = {Time-Soundness of Time Petri Nets Modelling Time-Critical Systems.}, url = {http://dblp.uni-trier.de/db/journals/tcps/tcps2.html#LiuJZ18}, volume = 2, year = 2018 }