%0 Conference Paper %1 conf/ifm/HsiehM19 %A Hsieh, Chiao %A Mitra, Sayan %B IFM %D 2019 %E Ahrendt, Wolfgang %E Tarifa, Silvia Lizeth Tapia %I Springer %K dblp %P 227-245 %T Dione: A Protocol Verification System Built with Dafny for I/O Automata. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2019.html#HsiehM19 %V 11918 %@ 978-3-030-34968-4

@inproceedings{conf/ifm/HsiehM19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Hsieh, Chiao and Mitra, Sayan}, biburl = {https://www.bibsonomy.org/bibtex/2b0477a8d3ed52a33fe6aef160564c470/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2019}, editor = {Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia}, ee = {https://doi.org/10.1007/978-3-030-34968-4_13}, interhash = {feb3f77a809db587332f6a328a5d4a27}, intrahash = {b0477a8d3ed52a33fe6aef160564c470}, isbn = {978-3-030-34968-4}, keywords = {dblp}, pages = {227-245}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:33:06.000+0200}, title = {Dione: A Protocol Verification System Built with Dafny for I/O Automata.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2019.html#HsiehM19}, volume = 11918, year = 2019 }