Modal Logic - a Tool for Design Process Description

Jelínek, I.

JELÍNEK, I. Modal Logic - a Tool for Design Process Description. In: 17th International Conference on Systems for Automation of Engineering and Research. 17th International Conference SAER 2003, Varna, 2003-09-19/2003-09-21. Sofia: SAER Forum Group, 2003. pp. 52-56. ISBN 954-438-358-1.