Logical square-driven and state-oriented generation of behavioural models.

Radoslaw Klimek Logical square-driven and state-oriented generation of behavioural models. 72-81 2024 ASE Workshops https://doi.org/10.1145/3691621.3694936 https://www.wikidata.org/entity/Q130951308 conf/kbse/2024w db/conf/kbse/ase2024w.html#Klimek24