%0 Conference Paper %1 conf/models/BaarirBML18 %A Baarir, Souheib %A Bendraou, Reda %A Metin, Hakan %A Laurent, Yoann %B MoDELS (Workshops) %D 2018 %E Hebig, Regina %E Berger, Thorsten %I CEUR-WS.org %K dblp %P 555-562 %T ProVer: an SMT-based approach for process verification. %U http://dblp.uni-trier.de/db/conf/models/models2018w.html#BaarirBML18 %V 2245

@inproceedings{conf/models/BaarirBML18, added-at = {2023-03-10T00:00:00.000+0100}, author = {Baarir, Souheib and Bendraou, Reda and Metin, Hakan and Laurent, Yoann}, biburl = {https://www.bibsonomy.org/bibtex/2d569be0caeed1862464f1de3b3532fb6/dblp}, booktitle = {MoDELS (Workshops)}, crossref = {conf/models/2018w}, editor = {Hebig, Regina and Berger, Thorsten}, ee = {https://ceur-ws.org/Vol-2245/modevva_paper_1.pdf}, interhash = {ce979c3833a82f11c48d84e5166671c0}, intrahash = {d569be0caeed1862464f1de3b3532fb6}, keywords = {dblp}, pages = {555-562}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T21:58:08.000+0200}, title = {ProVer: an SMT-based approach for process verification.}, url = {http://dblp.uni-trier.de/db/conf/models/models2018w.html#BaarirBML18}, volume = 2245, year = 2018 }