Fabio PaternĂ². Definition of Properties of User Interfaces Using Action-Based Temporal Logic. In SEKE 93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA. pages 314-318, Knowledge Systems Institute, 1993.
@inproceedings{Paterno93, title = {Definition of Properties of User Interfaces Using Action-Based Temporal Logic}, author = {Fabio PaternĂ²}, year = {1993}, tags = {rule-based, logic}, researchr = {https://researchr.org/publication/Paterno93}, cites = {0}, citedby = {0}, pages = {314-318}, booktitle = {SEKE 93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA}, publisher = {Knowledge Systems Institute}, }