%0 Conference Paper %1 conf/formats/DesuSR22 %A Desu, Surya Sai Teja %A Srivastava, Anubhav %A Rao, M. V. Panduranga %B FORMATS %D 2022 %E Bogomolov, Sergiy %E Parker, David %I Springer %K dblp %P 98-114 %T Model Checking for Entanglement Swapping. %U http://dblp.uni-trier.de/db/conf/formats/formats2022.html#DesuSR22 %V 13465 %@ 978-3-031-15839-1

@inproceedings{conf/formats/DesuSR22, added-at = {2022-09-02T00:00:00.000+0200}, author = {Desu, Surya Sai Teja and Srivastava, Anubhav and Rao, M. V. Panduranga}, biburl = {https://www.bibsonomy.org/bibtex/23063f5a723d4328dce2a2477890f3db0/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2022}, editor = {Bogomolov, Sergiy and Parker, David}, ee = {https://doi.org/10.1007/978-3-031-15839-1_6}, interhash = {a0ed10eb9ab795a0b4bf16258f3ba0f8}, intrahash = {3063f5a723d4328dce2a2477890f3db0}, isbn = {978-3-031-15839-1}, keywords = {dblp}, pages = {98-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:40:09.000+0200}, title = {Model Checking for Entanglement Swapping.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2022.html#DesuSR22}, volume = 13465, year = 2022 }