%0 Conference Paper %1 conf/cav/JohannsenNDISTVR24 %A Johannsen, Chris %A Nukala, Karthik %A Dureja, Rohit %A Irfan, Ahmed %A Shankar, Natarajan %A Tinelli, Cesare %A Vardi, Moshe Y. %A Rozier, Kristin Yvonne %B CAV (1) %D 2024 %E Gurfinkel, Arie %E Ganesh, Vijay %I Springer %K dblp %P 203-218 %T The MoXI Model Exchange Tool Suite. %U http://dblp.uni-trier.de/db/conf/cav/cav2024-1.html#JohannsenNDISTVR24 %V 14681 %@ 978-3-031-65627-9

@inproceedings{conf/cav/JohannsenNDISTVR24, added-at = {2024-08-02T00:00:00.000+0200}, author = {Johannsen, Chris and Nukala, Karthik and Dureja, Rohit and Irfan, Ahmed and Shankar, Natarajan and Tinelli, Cesare and Vardi, Moshe Y. and Rozier, Kristin Yvonne}, biburl = {https://www.bibsonomy.org/bibtex/2e9eaae0d4e2d2a735a649863c9a0ef4d/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2024-1}, editor = {Gurfinkel, Arie and Ganesh, Vijay}, ee = {https://doi.org/10.1007/978-3-031-65627-9_10}, interhash = {bbd273ee4e1e37b295f68aae842108e4}, intrahash = {e9eaae0d4e2d2a735a649863c9a0ef4d}, isbn = {978-3-031-65627-9}, keywords = {dblp}, pages = {203-218}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-08-05T07:22:49.000+0200}, title = {The MoXI Model Exchange Tool Suite.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2024-1.html#JohannsenNDISTVR24}, volume = 14681, year = 2024 }