BibTeX record conf/doceis/PoplawskiWBM23

• > Home > conf/doceis/PoplawskiWBM23

@inproceedings{DBLP:conf/doceis/PoplawskiWBM23,
  author       = {Mateusz Poplawski and
                  Remigiusz Wisniewski and
                  Grzegorz Bazydlo and
                  Maxim Malinski},
  editor       = {Luis M. Camarinha{-}Matos and
                  Filipa Ferrada},
  title        = {Preliminary Verification of Liveness in a Control Part of Cyber-Physical
                  Systems Modeled by a Petri Net},
  booktitle    = {Technological Innovation for Connected Cyber Physical Spaces - 14th
                  {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical
                  and Industrial Systems, DoCEIS 2023, Caparica, Portugal, July 5-7,
                  2023, Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {678},
  pages        = {205--215},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-36007-7\_15},
  doi          = {10.1007/978-3-031-36007-7\_15},
  timestamp    = {Wed, 28 Jun 2023 12:41:07 +0200},
  biburl       = {https://dblp.org/rec/conf/doceis/PoplawskiWBM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}