%0 Thesis %1 simon2001logic %A Simon, Carlo %D 2001 %K %T A logic of actions and its application to the development of programmable controllers

@phdthesis{simon2001logic, added-at = {2023-12-14T15:21:29.000+0100}, author = {Simon, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/2f0e5f150c64262fc943e2fb3d477b329/admin}, dnbtitleid = {96125632X}, interhash = {ea2b035f20d7234d688e00290bf28439}, intrahash = {f0e5f150c64262fc943e2fb3d477b329}, keywords = {}, school = {Uni Koblenz-Landau}, timestamp = {2023-12-14T15:21:29.000+0100}, title = {A logic of actions and its application to the development of programmable controllers}, year = 2001 }