%0 Conference Paper %1 conf/med/RiaziFGPF22 %A Riazi, Sarmad %A Falk, Jonathan %A Greger, Alexander %A Pettersson, Anton %A Fabian, Martin %B MED %D 2022 %I IEEE %K dblp %P 982-987 %T Formal verification of deadlock avoidance rules for AGV systems. %U http://dblp.uni-trier.de/db/conf/med/med2022.html#RiaziFGPF22 %@ 978-1-6654-0673-4

@inproceedings{conf/med/RiaziFGPF22, added-at = {2022-08-08T00:00:00.000+0200}, author = {Riazi, Sarmad and Falk, Jonathan and Greger, Alexander and Pettersson, Anton and Fabian, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2bba8fc7fd6f732ad7c32d69274843e88/dblp}, booktitle = {MED}, crossref = {conf/med/2022}, ee = {https://doi.org/10.1109/MED54222.2022.9837154}, interhash = {49cc764cb7658cb96ad3bf9383fae888}, intrahash = {bba8fc7fd6f732ad7c32d69274843e88}, isbn = {978-1-6654-0673-4}, keywords = {dblp}, pages = {982-987}, publisher = {IEEE}, timestamp = {2024-04-09T19:07:36.000+0200}, title = {Formal verification of deadlock avoidance rules for AGV systems.}, url = {http://dblp.uni-trier.de/db/conf/med/med2022.html#RiaziFGPF22}, year = 2022 }