@InProceedings{Wiśniewski:2023,
author
=
"R.Wiśniewski and G.Bazydło and M.Wojnakowski and M.Popławski",
title
=
"Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems",
booktitle
=
"44th International Conference On Application And Theory of Petri Nets and Concurrency - Petri Nets 2023; ISBN: 9783031336195",
address
=
"Lisbon, Portugalia",
publisher
=
"Cham Springer Nature Switzerland ",
volume
=
"Lecture Notes in Computer Science, 13929",
pages
=
"191--204",
year
=
"2023",
}