%0 Conference Paper %1 conf/fm/Saddem-YagoubiP21 %A Saddem-Yagoubi, Rim %A Poizat, Pascal %A Houhou, Sara %B FM %D 2021 %E Huisman, Marieke %E Pasareanu, Corina S. %E Zhan, Naijun %I Springer %K dblp %P 218-234 %T Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. %U http://dblp.uni-trier.de/db/conf/fm/fm2021.html#Saddem-YagoubiP21 %V 13047 %@ 978-3-030-90870-6

@inproceedings{conf/fm/Saddem-YagoubiP21, added-at = {2021-11-11T00:00:00.000+0100}, author = {Saddem-Yagoubi, Rim and Poizat, Pascal and Houhou, Sara}, biburl = {https://www.bibsonomy.org/bibtex/2e199c6ba44c85d6fb38099606a35f205/dblp}, booktitle = {FM}, crossref = {conf/fm/2021}, editor = {Huisman, Marieke and Pasareanu, Corina S. and Zhan, Naijun}, ee = {https://doi.org/10.1007/978-3-030-90870-6_12}, interhash = {098a601fe7f273329a1518c0397b39c6}, intrahash = {e199c6ba44c85d6fb38099606a35f205}, isbn = {978-3-030-90870-6}, keywords = {dblp}, pages = {218-234}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {Business Processes Meet Spatial Concerns: The sBPMN Verification Framework.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2021.html#Saddem-YagoubiP21}, volume = 13047, year = 2021 }