Karaduman, B. Et Al. 2024. Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques. ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS) , (Linz, Austria), 1076-1085.

Karaduman, B., Tezel, B. T., & Challenger, M., (2024). Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques . ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS) (pp.1076-1085). Linz, Austria

Karaduman, Burak, BARIŞ TEKİN TEZEL, And Moharram Challenger. "Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques," ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), Linz, Austria, 2024

Karaduman, Burak Et Al. "Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques." ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS) , Linz, Austria, pp.1076-1085, 2024

Karaduman, B. Tezel, B. T. And Challenger, M. (2024) . "Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques." ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS) , Linz, Austria, pp.1076-1085.

@conferencepaper{conferencepaper, author={Burak Karaduman Et Al. }, title={Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques}, congress name={ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS)}, city={Linz}, country={Austria}, year={2024}, pages={1076-1085} }