Author of the publication

specgen: A Tool for Modeling Statecharts in CSP.

, and . NFM, volume 10227 of Lecture Notes in Computer Science, page 282-287. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dynamic categories, dynamic operads: From deep learning to prediction markets., and . ACT, volume 380 of EPTCS, page 183-202. (2022)Drone strikes and radicalization: an exploration utilizing agent-based modeling and data applied to Pakistan., and . Comput. Math. Organ. Theory, 29 (3): 415-433 (September 2023)Kinetic Action and Radicalization: A Case Study of Pakistan., and . SBP-BRiMS, volume 12720 of Lecture Notes in Computer Science, page 321-330. Springer, (2021)specgen: A Tool for Modeling Statecharts in CSP., and . NFM, volume 10227 of Lecture Notes in Computer Science, page 282-287. (2017)