%0 Conference Paper %1 conf/doceis/PoplawskiWBM23 %A Poplawski, Mateusz %A Wisniewski, Remigiusz %A Bazydlo, Grzegorz %A Malinski, Maxim %B DoCEIS %D 2023 %E Camarinha-Matos, Luis M. %E Ferrada, Filipa %I Springer %K dblp %P 205-215 %T Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net. %U http://dblp.uni-trier.de/db/conf/doceis/doceis2023.html#PoplawskiWBM23 %V 678 %@ 978-3-031-36007-7

@inproceedings{conf/doceis/PoplawskiWBM23, added-at = {2023-06-28T00:00:00.000+0200}, author = {Poplawski, Mateusz and Wisniewski, Remigiusz and Bazydlo, Grzegorz and Malinski, Maxim}, biburl = {https://www.bibsonomy.org/bibtex/2de7363941ee5af7f66797e2500a7ec3c/dblp}, booktitle = {DoCEIS}, crossref = {conf/doceis/2023}, editor = {Camarinha-Matos, Luis M. and Ferrada, Filipa}, ee = {https://doi.org/10.1007/978-3-031-36007-7_15}, interhash = {8cb20d24e46b7a6140a5416bd63f1d32}, intrahash = {de7363941ee5af7f66797e2500a7ec3c}, isbn = {978-3-031-36007-7}, keywords = {dblp}, pages = {205-215}, publisher = {Springer}, series = {IFIP Advances in Information and Communication Technology}, timestamp = {2024-04-09T19:22:24.000+0200}, title = {Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net.}, url = {http://dblp.uni-trier.de/db/conf/doceis/doceis2023.html#PoplawskiWBM23}, volume = 678, year = 2023 }